Laurent Rineau 64401b8a06 Use gh (the official Github CLI) instead of github-release		2021-03-18 12:08:08 +01:00
..
deb	run the script to remove tabs and trailing whitespaces	2020-03-26 13:25:16 +01:00
infrastructure	updated crontab (automated commit)	2021-02-18 17:18:05 +01:00
package_info/Maintenance	run the script to remove tabs and trailing whitespaces	2020-03-26 13:25:16 +01:00
public_release	Use gh (the official Github CLI) instead of github-release	2021-03-18 12:08:08 +01:00
release_building	Change create_new_release to use CGALConfigVersion.cmake as input	2020-05-06 13:36:38 +02:00
test_handling	Fix a typo in previous commit	2020-07-07 13:33:55 +02:00