Žiga Deisinger 1c45276608 Removed commas from file names #48 ... I have removed all of commas from file names and replaced them with "_" or where "_" was already present just removed them. I think this will be helpful in future renaming		2022-07-28 13:22:40 +02:00
..
0_-1.ir	Removed commas from file names #48	2022-07-28 13:22:40 +02:00
5_-1.ir	Removed commas from file names #48	2022-07-28 13:22:40 +02:00
6_-1.ir	Removed commas from file names #48	2022-07-28 13:22:40 +02:00
27_-1.ir	Removed commas from file names #48	2022-07-28 13:22:40 +02:00
31_-1.ir	Removed commas from file names #48	2022-07-28 13:22:40 +02:00
33_-1.ir	Removed commas from file names #48	2022-07-28 13:22:40 +02:00