]> git.tuebingen.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c44db4) | patch
index.html: Remove navigation menu.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 8 May 2024 00:21:37 +0000 (02:21 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 22 May 2024 16:38:16 +0000 (18:38 +0200)
commit92c1e6700da15065c97c00d1005494069f84a569
tree7d9da3e08c1a1fb978841e2e58223244b683807etree | snapshot
parent3c44db499dfa95b80385eda3bbdbb6a63d28afb8commit | diff
index.html: Remove navigation menu.

The page has become simple enough, making the navigation links useless.
The page no longer contains any <hr> tags, so remove the corresponding
part of the style sheet.
index.html.m4 diff | blob | history
DSS - dyadic snapshot scheduler