+2008-05-03 Joerg Jaspert <joerg@debian.org>
+
+ * config/debian/cron.daily: Rename to
+ * config/debian/cron.dinstall: this, as its not really something run
+ daily for some time now. And while dinstall is an OLD name, its
+ recognized pretty well within Debian
+ Also add some more timing information
+
2008-05-03 Thomas Viehmann <tv@beamnet.de>
* web/,web/style.css: add web dir and current style.css