Log of /misc/cgal

---

Revision 635846 - Directory Listing
Modified Thu Jun 12 19:42:11 2014 UTC (9 years, 10 months ago) by akien
Copied from: misc/CGAL revision 635845

- Rename CGAL to cgal as per our policy

---

Revision 635842 - Directory Listing
Modified Thu Jun 12 19:38:55 2014 UTC (9 years, 10 months ago) by akien
Original Path: misc/CGAL

imported old log for CGAL

---

Revision 635841 - Directory Listing
Added Thu Jun 12 19:38:53 2014 UTC (9 years, 10 months ago) by akien
Original Path: misc/CGAL

created old log directory for CGAL