diff options
author | Ulrich Müller <ulm@gentoo.org> | 2023-01-18 18:37:14 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2023-01-18 18:37:14 +0100 |
commit | 80a619f5410ed6dba1b68c16be98f95343844658 (patch) | |
tree | 092dc760bd7b06c00066d259aac8dd4d5a0c826b /_sources/index.rst.txt | |
parent | Rebuild (diff) | |
download | policy-guide-80a619f5410ed6dba1b68c16be98f95343844658.tar.gz policy-guide-80a619f5410ed6dba1b68c16be98f95343844658.tar.bz2 policy-guide-80a619f5410ed6dba1b68c16be98f95343844658.zip |
Rebuild
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to '_sources/index.rst.txt')
-rw-r--r-- | _sources/index.rst.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_sources/index.rst.txt b/_sources/index.rst.txt index b3bcddc..1978cc8 100644 --- a/_sources/index.rst.txt +++ b/_sources/index.rst.txt @@ -17,6 +17,7 @@ in which the policy can be updated. motivation basics other-docs + editing * |