no longer build f33
[infrastructure.git] / scripts / manage-git-mirror.sh
2011-10-13 Thierry Parmentelatclean NOTIFY files
2011-10-13 Thierry Parmentelatagain
2011-10-13 Thierry Parmentelatimproved
2011-10-13 Thierry Parmentelatutility to manage git-mirror