Jan Mercl 49148932f6 replace ':' in picture file names with '_' ...

Windows builders cannot cope with the names, see:

7f7b643325/logs/win64
7f7b643325/logs/win32

2021-12-17 21:25:11 +01:00

..

benchmarkInsert_memory_false.png

replace ':' in picture file names with '_'

2021-12-17 21:25:11 +01:00

benchmarkInsert_memory_true.png

replace ':' in picture file names with '_'

2021-12-17 21:25:11 +01:00

benchmarkSelect_memory_false.png

replace ':' in picture file names with '_'

2021-12-17 21:25:11 +01:00

benchmarkSelect_memory_true.png

replace ':' in picture file names with '_'

2021-12-17 21:25:11 +01:00