about summary refs log tree commit diff stats
path: root/index.php
diff options
context:
space:
mode:
authorgbmor <ahriman@falte.red>2020-05-03 19:13:12 -0400
committergbmor <ahriman@falte.red>2020-05-03 19:13:12 -0400
commit03982fdf6eff81a3e2b3358efde973023fc33446 (patch)
tree70936b3ba5db107269d8e24317127285b9673080 /index.php
parentff1d2bd70d2d608486a6ccb8535baa2f961afd17 (diff)
downloadsite-03982fdf6eff81a3e2b3358efde973023fc33446.tar.gz
moved irc client list up
Diffstat (limited to 'index.php')
-rwxr-xr-xindex.php14
1 files changed, 7 insertions, 7 deletions
diff --git a/index.php b/index.php
index 4f91ed4..c3b48f4 100755
--- a/index.php
+++ b/index.php
@@ -15,7 +15,7 @@
         <div id="front-content">
             <p>Welcome to tilde.institute, a public-access machine in the <a
                     href="https://tildeverse.org">tildeverse</a>. This is a space for people to
-                explore the <code>OpenBSD</code> operating system, in addition to exploring the more social
+                explore the OpenBSD operating system, in addition to exploring the more social
                 aspects of a multi-user UNIX system.</p>
             <p>User sites are accessible via <code>https://&lt;user&gt;.tilde.institute</code></p>
             <p style="margin-top:-1.0rem">A list of user gopherholes is available at
@@ -47,6 +47,12 @@
                     <li><code><a href="https://github.com/getwtxt/getwtxt">getwtxt</a></code></li>
                 </ul>
             </p>
+            <p>IRC clients:</p>
+            <ul>
+                <li><code>weechat</code></li>
+                <li><code>irssi</code></li>
+                <li><code>ircII</code></li>
+            </ul>
             <p>The compilers and interpreters available are:</p>
             <ul>
                 <li><code>brainf*ck 2.7.1</code></li>
@@ -92,12 +98,6 @@
                 <li><code>/usr/local/bin/tcsh</code></li>
                 <li><code>/usr/local/bin/elvish</code></li>
             </ul>
-            <p>IRC clients:</p>
-            <ul>
-                <li><code>weechat</code></li>
-                <li><code>irssi</code></li>
-                <li><code>ircII</code></li>
-            </ul>
             <p>Feel free to contact the admins via <a href="mailto:admins@tilde.institute">admins@tilde.institute</a> or
                 on IRC in <code>#institute</code> if you need another package installed, or if you would like your
                 homepage's index changed from <code>index.html</code> to something else (<code>index.cgi</code>,