diff options
author | Marius Kintel <marius@kintel.net> | 2014-02-13 05:06:48 (GMT) |
---|---|---|
committer | Marius Kintel <marius@kintel.net> | 2014-02-13 05:06:48 (GMT) |
commit | ada0609b9cb338fc14f1822f9a94fe9e0af95d67 (patch) | |
tree | 30b5c5f0ec6d06fdd4025e64b7a97b956615b229 /examples | |
parent | dbaf1776d8b7408c8f918e661ac673db39ca4cf9 (diff) |
Bugfix: GUI stayed locked if CGAL compile failed
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions