diff options
author | Brian Gesiak <modocache@gmail.com> | 2016-10-06 16:39:22 +0000 |
---|---|---|
committer | Brian Gesiak <modocache@gmail.com> | 2016-10-06 16:39:22 +0000 |
commit | 49f8c02eb73142cbc0de778799fb8aefd1d52a7a (patch) | |
tree | c2d0b6ba183ff5842bbd8b37e9bf9e239b37dd77 /llvm/docs | |
parent | 6bc43d8627ca44465e7ce261a0828b70d3460e13 (diff) | |
download | bcm5719-llvm-49f8c02eb73142cbc0de778799fb8aefd1d52a7a.tar.gz bcm5719-llvm-49f8c02eb73142cbc0de778799fb8aefd1d52a7a.zip |
[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
llvm-svn: 283465
Diffstat (limited to 'llvm/docs')
-rw-r--r-- | llvm/docs/Lexicon.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/docs/Lexicon.rst b/llvm/docs/Lexicon.rst index 912dee2cf07..de929bec1b0 100644 --- a/llvm/docs/Lexicon.rst +++ b/llvm/docs/Lexicon.rst @@ -180,6 +180,10 @@ O P - +**PR** + Problem report. A bug filed on `the LLVM Bug Tracking System + <http://llvm.org/bugs/enter_bug.cgi>`_. + **PRE** Partial Redundancy Elimination |