add sources for miscellaneous scripting

This commit is contained in:
Daniel Micay 2019-04-25 23:46:26 -04:00
parent 8134558888
commit 94769ec9db

View File

@ -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>