Merge remote-tracking branch 'origin/Filtered_kernel-dont_submit-GF'

Tested in CGAL-4.3-Ic-168 Approved by the Release Manager.
2013-09-12 11:25:03 +02:00 · 2013-09-12 11:25:03 +02:00 · fddd26c0eb
parent 42b9649ac0 a7f9b96d81
commit fddd26c0eb
1 changed files with 1 additions and 0 deletions
--- a/Filtered_kernel/dont_submit
+++ b/Filtered_kernel/dont_submit
@ -1,2 +1,3 @@
 TODO_static_filters
 Makefile
+Restricted_double.h