From 994cad146fe81fa8f932faaa3f9bc0cc5fc6e856 Mon Sep 17 00:00:00 2001
From: Peter Hachenberger <hachenberger@mpi-inf.mpg.de>
Date: Thu, 9 Mar 2006 22:35:15 +0000
Subject: [PATCH] removed Progress_indicator.h from release

---
 Nef_3/dont_submit | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Nef_3/dont_submit b/Nef_3/dont_submit
index 0a9bb173bab..a116027f9f7 100644
--- a/Nef_3/dont_submit
+++ b/Nef_3/dont_submit
@@ -1,4 +1,6 @@
 TODO
+include/CGAL/Nef_3/Shell_constructor.h
+include/CGAL/Nef_3/Progress_indicator.h
 Minkowski
 k3tree
 Benchmark