|
add_license_in_pkg_header.py
|
Remove Polyhedron_IO
|
2020-06-22 18:52:24 +02:00 |
|
autotest_cgal
|
WIP
|
2021-02-15 14:42:13 +01:00 |
|
cgal_demo_copy_all_dlls_cygwin.sh
|
WIP
|
2021-02-15 14:42:13 +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 |