From 444bc13a29dd35cb58a1999810b41c2cf7dd586b Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Tue, 14 Mar 2006 22:39:02 +0000
Subject: [PATCH] - Move to developers_scripts (probably useless these days).

---
 Scripts/{scripts => developer_scripts}/list_cgal_includes | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Scripts/{scripts => developer_scripts}/list_cgal_includes (100%)

diff --git a/Scripts/scripts/list_cgal_includes b/Scripts/developer_scripts/list_cgal_includes
similarity index 100%
rename from Scripts/scripts/list_cgal_includes
rename to Scripts/developer_scripts/list_cgal_includes