diff options
| author | Marius Kintel <marius@kintel.net> | 2011-12-29 12:52:02 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2011-12-29 12:52:02 (GMT) |
| commit | 575f3c4d6d12aae4639a8098e69685fdcb8c0a52 (patch) | |
| tree | 2fc9dda474affcdc27e7d4c6f3840d8f390ec595 /scripts/git-archive-all.py | |
| parent | 1fbe453cae84788689b0502526ecded6a25a69d4 (diff) | |
Revert "Plug CGAL-3.6 exception crash reported by Don". This check wasn't effective as no code actually threw an exception.
This reverts commit 1fbe453cae84788689b0502526ecded6a25a69d4.
Diffstat (limited to 'scripts/git-archive-all.py')
0 files changed, 0 insertions, 0 deletions