-
eckhart authored
scripts/dhparser.py - now uses XXXParser.py rather then XXXCompiler.py as default file-name for the translator
0ae6c3b0
scripts/dhparser.py - now uses XXXParser.py rather then XXXCompiler.py as default file-name for the translator