Marc Glisse 6a37e80b27 Tweak includes, but that can't make a difference since the previous ... header was doing the same.		2014-03-13 14:04:53 +01:00
..
doc_tex/NewKernel_d_ref	start prekernel doc	2012-05-21 15:56:28 +00:00
include/CGAL	Tweak includes, but that can't make a difference since the previous	2014-03-13 14:04:53 +01:00
package_info/NewKernel_d	Rename a bit more to avoid conflicts.	2014-03-12 11:46:46 +01:00
test/NewKernel_d	Not using Core.	2014-03-12 15:51:56 +01:00
dont_submit	dont_submit 2 files that are patched versions of other packages.	2014-03-12 11:47:32 +01:00