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__/ |