Bruno BELANYI f21c57ded3 [UPDATE][GIT] Use main as default branch name		2020-12-12 14:12:42 +01:00
..
config	[UPDATE][GIT] Use main as default branch name	2020-12-12 14:12:42 +01:00
config-epita	[ADD][GIT] Use EPITA identity for relevant repos	2020-12-12 14:12:42 +01:00
ignore	[ADD][GIT] More files to ignore	2020-12-12 14:12:42 +01:00