alemuntoni c62a4e86a3 Merge branch 'devel' into devel-PFasano99
# Conflicts:
#	.github/workflows/Linux.yml
#	.gitignore
#	scripts/Linux/0_setup_env_ubuntu.sh
#	scripts/Windows/0_download_ext.ps1
#	scripts/Windows/0_download_ext.sh
#	src/external/cgal.cmake
#	src/external/xerces.cmake
2022-11-04 17:25:32 +01:00
..
2022-11-02 16:38:41 +01:00