diff options
| -rw-r--r-- | static/source.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/static/source.html b/static/source.html index 51313a16..0eb3d5ee 100644 --- a/static/source.html +++ b/static/source.html @@ -45,11 +45,11 @@ <a href="https://github.com/GrapheneOS">GrapheneOS organization on GitHub</a>. Since there are many repositories, this page aims to provide a guide for it.</p> <ul> + <li><a href="https://github.com/GrapheneOS/platform_manifest">Manifest for OS repositories</a></li> <li><a href="https://github.com/GrapheneOS/grapheneos.org">Website repository</a></li> <li><a href="https://github.com/GrapheneOS/releases.grapheneos.org">Update server repository</a></li> <li><a href="https://github.com/GrapheneOS/tls_pinning">Utilities for setting up conservative non-leaf TLS pinning with backup pins</a></li> <li><a href="https://github.com/GrapheneOS/branding_tools">Scripting for managing branding</a></li> - <li><a href="https://github.com/GrapheneOS/platform_manifest">Manifest for OS repositories</a></li> </ul> <p>The operating system source tree includes hundreds of repositories. Many of these are only used for debugging, testing or development and are not actually part of what |