public_release_name is actually required by our NSIS docker image

This commit is contained in:
Laurent Rineau 2019-11-08 11:23:19 +01:00
parent 27dcff6141
commit fe6dd48f5f
1 changed files with 1 additions and 0 deletions

View File

@ -0,0 +1 @@
CGAL-5.0