Attila Lendvai 0378f9ac40

housekeeping

2023-10-22 21:49:41 +02:00

..

etc

fix the gitignore mess: git refuses to ignore already tracked files

2020-11-29 23:07:02 +01:00

root

housekeeping

2023-10-22 21:49:41 +02:00