Thomas Dy 2eb9f35f40 git: add dr alias vor 6 Monaten
..
hooks 231c18e221 git: ignore detached heads in checkout hook vor 2 Jahren
config 2eb9f35f40 git: add dr alias vor 6 Monaten
ignore dc97380d69 git: reduce gitignore to bare minimum vor 2 Jahren