Ooops… (bis) git-repo-config n'existe plus depuis longtemps !
-rw-r--r-- 732 Makefile
-rw-r--r-- 213 README
-rw-r--r-- 1251 auf-git-etc.sh
-rwxr-xr-x 1111 cron.auf-git-etc
drwxr-xr-x - debian
drwxr-xr-x - etc