db2html: change id generator to be based on the xml-tree
commit18f6c53608ef904c81ec4aebc5ee4e0258a77028
authorStefan Sauer <ensonic@users.sf.net>
Thu, 22 Feb 2018 20:09:10 +0000 (22 21:09 +0100)
committerStefan Sauer <ensonic@users.sf.net>
Thu, 22 Feb 2018 20:11:48 +0000 (22 21:11 +0100)
tree1f472413ead6934c3b18b895e92670402952a3ab
parent3188a2e3078ba8f9cf7221aa296d6bd2b5b82629
db2html: change id generator to be based on the xml-tree
tools/db2html.py