diff options
| author | Marius Kintel <marius@kintel.net> | 2013-06-13 05:16:26 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2013-06-13 05:16:26 (GMT) |
| commit | bd0248e109f6a290570bca55949583ea80bdce38 (patch) | |
| tree | 67a4409890ef44544b08af915a428cf18a283de7 /src/cgalutils.h | |
| parent | 0cb8ab508ec1b3a072a2d5ef63fe1d46f16310f0 (diff) | |
Fixed a bug where changing a file during a large automatic reload could cause a crash
Diffstat (limited to 'src/cgalutils.h')
0 files changed, 0 insertions, 0 deletions