Bruno BELANYI cf779c41dc [ADD][GIT] Prune branches and tags on fetch		2020-12-12 14:12:42 +01:00
..
config	[ADD][GIT] Prune branches and tags on fetch	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