summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Micay <danielmicay@gmail.com>2019-07-06 03:46:52 -0400
committerDaniel Micay <danielmicay@gmail.com>2019-07-06 03:46:52 -0400
commitb5a6b5e4bcba99b5a8091c89bed2c54381db619e (patch)
tree5b9408f6ed33085be2601376998a062c16b4bb4a
parentb4812d24b902f6f068699c6ab490113d1935c41e (diff)
managing branding -> generating branding
-rw-r--r--static/source.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/static/source.html b/static/source.html
index 9404792a..4b93e77a 100644
--- a/static/source.html
+++ b/static/source.html
@@ -49,7 +49,7 @@
<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/branding_tools">Scripting for generating branding</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