gen_docu: fix missing attributes, show generation time at the end
authorMatthias Braun <matze@braunis.de>
Fri, 11 Nov 2011 11:49:20 +0000 (12:49 +0100)
committerMatthias Braun <matze@braunis.de>
Fri, 11 Nov 2011 11:49:20 +0000 (12:49 +0100)
commitd543bd3efe5deadc0a34423cb8645db7ff9ce704
treec6bb97320f62a9cd31255a6a57ae43b14fac4c68
parent8e99c7e1d8e524c383d430288e5a8ac12e2a3eab
gen_docu: fix missing attributes, show generation time at the end
scripts/gen_docu.py
scripts/style.css