add introduction to GrapheneOS servers page

2021-01-17 15:44:23 -05:00 · 2021-01-17 15:44:23 -05:00 · c3ace8eccc
commit c3ace8eccc
parent 93be6d549d
1 changed files with 2 additions and 0 deletions
--- a/static/articles/grapheneos-servers.html
+++ b/static/articles/grapheneos-servers.html
@ -48,6 +48,8 @@
        <main id="grapheneos-servers">
            <h1><a href="#grapheneos-servers">GrapheneOS servers</a></h1>

+            <p>This is a detailed list of the public GrapheneOS servers.</p>
+
            <section id="grapheneos.org">
                <h2><a href="#grapheneos.org">GrapheneOS website</a></h2>