cgal/Maintenance/infrastructure/scripts
Laurent Rineau 9682ab49d1 Adapt the script rename_a_test_platform to Git 2012-12-07 09:48:00 +01:00
..
rename_a_test_platform