Thomas Dy 3dfe4d3bb7 git: fix hhrh alias il y a 1 an
..
hooks 231c18e221 git: ignore detached heads in checkout hook il y a 1 an
config 3dfe4d3bb7 git: fix hhrh alias il y a 1 an
ignore dc97380d69 git: reduce gitignore to bare minimum il y a 1 an