Skip to content

Include the way string in the file name for dump files.

Andreas Klebinger requested to merge wip/andreask/dump-with-ways into master

Give them separate extensions so they don't overwrite each other when the same file is compiled in multiple ways.

Merge request reports