Revision 4a01a46f44e10ae265f619cb7e60140268f3bcdf authored by Eric Berberich on 05 July 2012, 18:32:25 UTC, committed by Eric Berberich on 05 July 2012, 18:32:25 UTC
the problem was in handling of CGAL_UseRS(3).cmake
1 parent f39a7b7
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...