diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2019-07-02 21:57:39 -0400 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2019-07-02 21:57:39 -0400 |
| commit | ace81fe716504a821015b2121ac4db0bea506ce2 (patch) | |
| tree | d591529a8b65ec5422c3caf034e309be4a43d32a | |
| parent | 71a8e5061167a33793711b752b962f7f246f3dc4 (diff) | |
source: move manifest to the top of the list
| -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 |