summaryrefslogtreecommitdiff
path: root/src/util/xmlpool/gen_xmlpool.py
AgeCommit message (Expand)AuthorFilesLines
2018-08-01python: Use open(), not file()Mathieu Bridon1-1/+3
2018-07-24python: Better check for keys in dictsMathieu Bridon1-2/+2
2018-07-06python: Use the print functionMathieu Bridon1-8/+9
2017-07-31xmlconfig: move into src/utilNicolai Hähnle1-0/+203