diff options
-rwxr-xr-x | dev.html | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -5,8 +5,8 @@ <dl> <dt><a href="http://git.os.pehjota.net/pkg/">Packages in Git</a></dt> <dd>Most source packages are maintained in Git repositories. To assist in the maintenance of a package, coordinate with its maintainer(s) and the <a href="http://www.pehjota.net/contact.html">system administrator</a>.</dd> - <dt><a href="http://git.os.pehjota.net/doc/">Notes, specifications, and policies</a></dt> - <dd>Specifications and policies are maintained in Git repositories.</dd> + <dt><a href="http://git.os.pehjota.net/doc/">Documentation</a></dt> + <dd>Notes, specifications, and policies are maintained in Git repositories.</dd> <dt><a href="http://git.os.pehjota.net/www/">Web site</a></dt> <dd>These Web pages are maintained in a Git repository.</dd> </dl> |