Thomas Dy bbb6a81292 git: use newer diff options 1 jaar geleden
..
hooks 231c18e221 git: ignore detached heads in checkout hook 2 jaren geleden
config bbb6a81292 git: use newer diff options 1 jaar geleden
ignore dc97380d69 git: reduce gitignore to bare minimum 2 jaren geleden