| commit | b3f94cd3e08334c6c765a6ff6fcfe8ab4ec0881f | [log] [tgz] |
|---|---|---|
| author | Brian Gesiak <modocache@gmail.com> | Thu Oct 06 16:39:22 2016 +0000 |
| committer | Brian Gesiak <modocache@gmail.com> | Thu Oct 06 16:39:22 2016 +0000 |
| tree | 12c77929a639851437068dd3fb9e73238cabc80d | |
| parent | ecc6c2b633d2bd641f847a86348e30c3b54f567b [diff] |
[docs] Add PR to Lexicon Summary: The acronym PR could be ambiguous to some users, especially those who are used to interpreting it as GitHub's "pull request". Reviewers: ddunbar, jordan_rose, void, beanz Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D25331 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@283465 91177308-0d34-0410-b5e6-96231b3b80d8