Laurent Rineau b2b0d9d486 Push last version of my scripts		2019-03-20 10:44:21 +01:00
..
cgal_diff_results	Push last version of my scripts	2019-03-20 10:44:21 +01:00
collect_data_directories	New scripts, to collect data for the demos installer	2014-11-05 16:09:42 +01:00
create_release	Debug trick, to help pass `-x` from shell to sub-shell	2018-01-16 16:56:23 +01:00
dump_crontab	Change the rename of the remote	2015-03-05 02:29:15 +01:00
update_manual_tools	Update scripts to that manual tools can be in candidate-packages	2010-10-11 22:05:22 +00:00