diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2017-04-16 16:01:22 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2017-04-16 16:01:22 +0000 |
commit | 71d5a2540a98c81f5bcaeb48805e0e2881f530ef (patch) | |
tree | 5343938942df402b49ec7300a1c25a2d4ccd5821 /docs/Lexicon.rst | |
parent | 31bbf64f3a4974a2d6c8b3b27ad2f519caf74057 (diff) |
Diffstat (limited to 'docs/Lexicon.rst')
-rw-r--r-- | docs/Lexicon.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Lexicon.rst b/docs/Lexicon.rst index de929bec1b0e..5d16091e27e5 100644 --- a/docs/Lexicon.rst +++ b/docs/Lexicon.rst @@ -182,7 +182,7 @@ P **PR** Problem report. A bug filed on `the LLVM Bug Tracking System - <http://llvm.org/bugs/enter_bug.cgi>`_. + <https://bugs.llvm.org/enter_bug.cgi>`_. **PRE** Partial Redundancy Elimination |