Bruno BELANYI 488453993e [UPDATE][GIT] Use personal mail domain		2020-12-12 14:12:42 +01:00
..
config	[UPDATE][GIT] Use personal mail domain	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	[UPDATE][GIT] Ignore GDB history files	2020-12-12 14:12:42 +01:00