https://github.com/CGAL/cgal
Revision 0140fbd94d24ea280f83845ac73dffc314622e0c authored by Laurent Rineau on 23 February 2018, 16:26:08 UTC, committed by Laurent Rineau on 23 February 2018, 16:26:08 UTC
CGAL_ENABLE_CHECK_HEADERS implies CGAL_PROFILE
Tip revision: 0140fbd94d24ea280f83845ac73dffc314622e0c authored by Laurent Rineau on 23 February 2018, 16:26:08 UTC
Merge pull request #2830 from maxGimeno/CHECK_HEADER-Add_a_flag
Merge pull request #2830 from maxGimeno/CHECK_HEADER-Add_a_flag
Tip revision: 0140fbd
Computing file changes ...