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 /src/PlatformUtils.h | |
| parent | dbaf1776d8b7408c8f918e661ac673db39ca4cf9 (diff) | |
Bugfix: GUI stayed locked if CGAL compile failed
Diffstat (limited to 'src/PlatformUtils.h')
0 files changed, 0 insertions, 0 deletions