diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2020-02-22 17:35:48 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2020-02-25 16:15:23 +0100 |
| commit | 246a7fa1c7e692894f33c3d513779046759213ae (patch) | |
| tree | bca22a0af0ff95c44c20798deca5692cbf1d8090 /use-flags.rst | |
| parent | ebuild-format: Require KEYWORDS to be on one line (diff) | |
| download | policy-guide-246a7fa1c7e692894f33c3d513779046759213ae.tar.gz policy-guide-246a7fa1c7e692894f33c3d513779046759213ae.tar.bz2 policy-guide-246a7fa1c7e692894f33c3d513779046759213ae.zip | |
Introduce PGnnnn identifiers for policies
Introduce stable numeric identifiers for policies, and create permalinks
from them.
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'use-flags.rst')
| -rw-r--r-- | use-flags.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/use-flags.rst b/use-flags.rst index c6a8b4a..4344edc 100644 --- a/use-flags.rst +++ b/use-flags.rst @@ -8,6 +8,7 @@ USE flags Versioned USE flags ------------------- +:PG: 0801 :Source: QA :Reference: https://wiki.gentoo.org/index.php?title=Project:Quality_Assurance/Policies&oldid=109991#Versioned_USE_flags :Reported: no @@ -38,6 +39,7 @@ with the QA team before introduction. USE=gui flag ------------ +:PG: 0802 :Source: QA :Reference: https://archives.gentoo.org/gentoo-dev/message/cf3f5a59ac918335766632bd02438722 :Reported: no @@ -61,6 +63,7 @@ multiple GUIs. Underscores in USE flag names ----------------------------- +:PG: 0803 :Source: Council :Reference: https://projects.gentoo.org/council/meeting-logs/20191013-summary.txt :Reported: by pkgcheck |