dav: graph

graph

The revision graph only works with JavaScript-enabled browsers.

fix configure script again, this time correctly
Mon, 12 Jun 2023 20:09:30 +0200, by Olaf Wintermann

less more | (0) -300 -100 -30 -10 -1 +1 +10 +30 tip