Laurent Rineau fa281d882f Fix my last patch ... The git-fetch command was wrong and said: fatal: Couldn't find remote ref cgal-dev I should have tested!		2015-04-02 17:08:27 +02:00
..
cgal_diff_results	Add a new script	2014-10-31 17:34:45 +01:00
collect_data_directories	New scripts, to collect data for the demos installer	2014-11-05 16:09:42 +01:00
create_release	Fix my last patch	2015-04-02 17:08:27 +02:00
dump_crontab	Change the rename of the remote	2015-03-05 02:29:15 +01:00
run_doxygen_testsuite	Restore Doxygen testsuite	2014-08-27 16:34:11 +02:00
update_manual_tools	…