Manuel Thalmann 1e981ed2d7 Remove unnecessary file		2023-06-22 21:08:48 +02:00
..
flow	Remove unnecessary file	2023-06-22 21:08:48 +02:00
git-auf-deutsch	Prevent re-installations from messing up rc files	2023-04-07 21:21:42 +02:00
setup	Set default branch in git	2023-04-06 16:27:05 +02:00
install.sh	Fix incorrect directory handling	2023-04-07 02:10:19 +02:00