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