gen_docu: fix missing attributes, show generation time at the end
[libfirm] / scripts / gen_docu.py
2011-11-11 Matthias Braungen_docu: fix missing attributes, show generation time...
2011-11-10 Matthias Brauna first attempt at a node-documentation tool