From 3acb91f3c49d455504c9c5f72b6266c2327e8ab6 Mon Sep 17 00:00:00 2001
From: Michał Górny
Date: Tue, 25 Feb 2020 16:16:18 +0100
Subject: Update for PG idents
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Signed-off-by: Michał Górny
---
other-docs.html | 29 +++++++++++++++++++++++------
1 file changed, 23 insertions(+), 6 deletions(-)
(limited to 'other-docs.html')
diff --git a/other-docs.html b/other-docs.html
index 43473bf..a5d169c 100644
--- a/other-docs.html
+++ b/other-docs.html
@@ -15,10 +15,10 @@
-
-
-
-
+
+
+
+
@@ -76,8 +76,25 @@
Source
Search
+
+
+
+
+ General Index
+
+
+
- Index
+
+ Policy Index
+
+
+
+
+
+
+
+
@@ -251,7 +268,7 @@ disagree, Gentoo policies should be followed.