xerus 1e5bfc5eae Clean up git config		2020-03-31 22:32:43 +02:00
..
config	Clean up git config	2020-03-31 22:32:43 +02:00
gitk	Merge remote-tracking branch 'origin/master'	2020-03-08 20:10:25 +01:00
ignore	Clean up git config	2020-03-31 22:32:43 +02:00