]> git.tue.mpg.de Git - dss.git/commit
build: Move recipe for index.html to proper place.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 8 May 2024 23:12:21 +0000 (01:12 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commit4d9c6c9661b18e1338ea75652042ca93c2f886c7
tree78e7c29cc696b55123d853d63817937d1d7a4cd8
parent4f252751eed3c4337340d83c512c3727c54e8da1
build: Move recipe for index.html to proper place.

There's no reason for this to be after the README stuff.
Makefile