tree fc2fe017d244436b63d49e3aee9051bce2fa5832
parent 3b99179b94a7f713da527f7987e055af8e3b7e4c
parent 9187b0144e42b7478e06eeab0d23cea50bd3aae0
author Clay Murphy <claym@google.com> 1375207243 -0700
committer Android Git Automerger <android-git-automerger@android.com> 1375207243 -0700

am 9187b014: am 15c58c4c: Docs: Adding much-needed formatting to commands, files and list items. Bug: 9175117 Staging location: http://claym.mtv.corp.google.com:8093/devices/tech/security/se-linux.html

* commit '9187b0144e42b7478e06eeab0d23cea50bd3aae0':
  Docs: Adding much-needed formatting to commands, files and list items. Bug: 9175117 Staging location: http://claym.mtv.corp.google.com:8093/devices/tech/security/se-linux.html