diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2019-04-25 23:46:26 -0400 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2019-04-25 23:46:26 -0400 |
| commit | 94769ec9dbc7254a0fed7020bb801554920c62ee (patch) | |
| tree | 623361cd8c8cc15cbfa5a20b99515f5bfdff45f8 /static/source.html | |
| parent | 81345588887b9488ca89361ecc24000e72d9594c (diff) | |
add sources for miscellaneous scripting
Diffstat (limited to 'static/source.html')
| -rw-r--r-- | static/source.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/static/source.html b/static/source.html index 9d7b7512..f67aa882 100644 --- a/static/source.html +++ b/static/source.html @@ -24,7 +24,9 @@ <li><a href="https://github.com/GrapheneOS/os_issue_tracker">OS issue tracker</a></li> <li><a href="https://github.com/GrapheneOS/grapheneos.org">Website repository and issue tracker</a></li> <li><a href="https://github.com/GrapheneOS/seamlessupdate.app">Update server repository and issue tracker</a></li> - <li><a href="https://github.com/GrapheneOS/platform_manifest">Manifest for repositories</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> </div> </body> |