Vladimír Dudr 36c5d7617b git: mergetool		2022-06-03 10:04:06 +02:00
..
config	git: mergetool	2022-06-03 10:04:06 +02:00