]> git.tue.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c9f764) | 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>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commit4d130cefeeca99ab0f66cdb8df4c50a28ed18cd8
treed22d29a18e1402a365992c23481d9e4af4f1916ftree | snapshot
parent6c9f7641e29f9f0a868b022b29bae23fab3647a2commit | 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