Joachim Reichel acfd90351d Merge branch 'CGAL:master' into master		2024-10-03 12:22:11 +02:00
..
deb	Remove stale Debian packaging data.	2024-10-03 12:21:02 +02:00
infrastructure	updated crontab (automated commit)	2024-09-25 08:18:01 +02:00
package_info/Maintenance	…
public_release	fixes post-CGAL-6.0	2024-10-01 16:31:06 +02:00
release_building	…
test_handling	Update button styles and add toggle functionality	2024-09-27 15:44:52 +02:00