[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
This commit is contained in:
parent
6bc43d8627
commit
49f8c02eb7
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in New Issue