From 49f8c02eb73142cbc0de778799fb8aefd1d52a7a Mon Sep 17 00:00:00 2001 From: Brian Gesiak Date: Thu, 6 Oct 2016 16:39:22 +0000 Subject: [PATCH] [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 --- llvm/docs/Lexicon.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/llvm/docs/Lexicon.rst b/llvm/docs/Lexicon.rst index 912dee2..de929be 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 + `_. + **PRE** Partial Redundancy Elimination -- 2.7.4