|
add_license_in_pkg_header.py
|
Remove Polyhedron_IO
|
2020-06-22 18:52:24 +02:00 |
|
autotest_cgal
|
make config an argument
|
2021-02-16 10:29:23 +01:00 |
|
detect_packages_licenses
|
Add checks for pushes
|
2020-12-29 14:33:29 +01:00 |
|
licensecheck
|
accomodate Polyhedral_envelope.h
|
2020-12-07 19:00:07 +01:00 |
|
merge_pr_with_label
|
Fix the script when the merge fixes
|
2020-10-09 16:53:07 +02:00 |