Commit Graph

2 Commits

Author SHA1 Message Date
Laurent Rineau 3f8fc6b829 Make the script display the status of the merge 2015-01-22 13:52:14 +01:00
Laurent Rineau 31c965a070 One script to rule them all!
This script makes various checks on branches that are candidate to be
merged in CGAL.
2015-01-14 19:43:06 +01:00