summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndre Noll <maan@tuebingen.mpg.de>2026-08-31 15:13:12 +0200
committerAndre Noll <maan@tuebingen.mpg.de>2026-09-11 00:18:13 +0200
commit9cf37a57bf2dbe671ddcbb6e902bd2962ba47c51 (patch)
tree0d3f66785f612efa558c202ec0a89c5a923fbb04
parent3da7984331bdca53a03a300659c7bb448db8e2db (diff)
web: Remove the gitweb link.HEADnextmaster
It's a hassle to maintain, the link is dead since the server moved from gitweb to cgit, and nobody except the bots care anyway.
Diffstat (limited to '')
-rw-r--r--web/about.in.html3
1 files changed, 0 insertions, 3 deletions
diff --git a/web/about.in.html b/web/about.in.html
index a28ce9c4..0661a038 100644
--- a/web/about.in.html
+++ b/web/about.in.html
@@ -25,7 +25,4 @@ href="https://people.tuebingen.mpg.de/maan/">
https://people.tuebingen.mpg.de/maan/</a>
<br>
Git clone URL: <kbd> https://git.tuebingen.mpg.de/paraslash.git </pre>
-<br>
-Gitweb: <a href="https://git.tuebingen.mpg.de/paraslash.git"><kbd>
- https://git.tuebingen.mpg.de/paraslash.git</kbd></a>
</p>