]> git.tuebingen.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f79f82) | 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>
Sun, 16 Jun 2024 16:22:00 +0000 (18:22 +0200)
commitaaac62809dd1eadd0836a867fd7aa38184fd4458
tree7d9da3e08c1a1fb978841e2e58223244b683807etree | snapshot
parent9f79f825aa1cc995085946768bec31bb46ef7e6bcommit | 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