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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,2 +1,3 @@ /_build/ /.tox/ +/exts/__pycache__/ |