Marius Drechsler b8a0ee46f5 Fixed page numbering, danke Janis <3, started working on the remaining issues		2024-08-26 18:06:07 +02:00
..
createcsv.py	Productive day	2024-08-06 18:29:05 +02:00
global_diffs.typ	Fixed page numbering, danke Janis <3, started working on the remaining issues	2024-08-26 18:06:07 +02:00
sorted_configurations_with_diff.csv	Finished with improvements, continued on experimental resuls	2024-08-05 19:04:39 +02:00
sorted_configurations_with_diff_header.csv	Productive day	2024-08-06 18:29:05 +02:00