git.tue.mpg.de Git - dss.git/commit

]> git.tue.mpg.de Git - dss.git/commit

author	Andre Noll <maan@tuebingen.mpg.de>
	Wed, 8 May 2024 00:00:34 +0000 (02:00 +0200)
committer	Andre Noll <maan@tuebingen.mpg.de>
	Tue, 2 Jul 2024 16:52:03 +0000 (18:52 +0200)
commit	8560e29e73bd4d9fa99053ede58be16c29c36c76
tree	e5db187f86f2a10dabf37af8383ea28d55ed66a5	tree \| snapshot
parent	305a48cb21b295985f4c0ed3f8ef6600e401fb43	commit \| diff

index.html: Simplify make rule.

This avoids index.html.in and parses index.html.m4 only once.

Makefile		diff \| blob \| history
index.html.m4		diff \| blob \| history

DSS - dyadic snapshot scheduler