Revision 0ddbd87e51e855528e4e9d461f1817676ecd36fa authored by Maxime Gimeno on 13 January 2017, 14:59:25 UTC, committed by Maxime Gimeno on 16 January 2017, 13:47:09 UTC
1 parent 7abccd0
dont_submit
CGAL.bmp
cgal.ico
cgal_very_small_FFFFFF.bmp
default_variants.ini
environment_variables.ini
fixup_projects.ini
TextLog.nsh
WriteEnvStr.nsh
zirkel.bmp
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...