Marcel 3096ee4573 [bugfix] usage of unordered dict for comparison
implicit extraction of pdf names (auto, manu) for comparison from a list generated within dict iteration lead to possible flipping (auto - manu .or. manu - auto) of compared pdfs (and with that histograms)
2017-09-21 10:34:21 +02:00
..
2017-09-18 15:06:50 +02:00
2017-09-18 10:41:27 +02:00
2017-04-06 13:16:28 +02:00
os
2017-04-06 13:17:06 +02:00
2017-04-06 13:17:06 +02:00
2014-03-19 12:24:41 +01:00