Guillaume Dott c552788d51 git: set default branch name to main		2021-07-08 21:05:50 +02:00
..
config	git: set default branch name to main	2021-07-08 21:05:50 +02:00
ignore	git: convert config to xdg	2019-04-08 19:20:30 +02:00