Revision be3aae126e874ac2e41a6b3560fce121fb0f32f3 authored by Laurent Rineau on 01 April 2015, 15:56:25 UTC, committed by Laurent Rineau on 01 April 2015, 15:56:25 UTC
That fix explains why the integration branch was not reset correctly: cgal-dev was not fetched, so cgal-dev/master was still pointing to a commit made three weeks ago.
1 parent 6c6484e
| File | Mode | Size |
|---|---|---|
| doc | ||
| examples | ||
| include | ||
| package_info | ||
| test | ||
| TODO | -rw-r--r-- | 0 bytes |
| dont_submit | -rw-r--r-- | 0 bytes |
Computing file changes ...
