From eae25344bc6e3329f3ca3a0d91725ae35af162e7 Mon Sep 17 00:00:00 2001
From: Andreas Meyer <ameyer@mpi-inf.mpg.de>
Date: Fri, 3 Mar 2006 17:01:57 +0000
Subject: [PATCH]

---
 Manual_tools/scripts/cc_rename_include | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 Manual_tools/scripts/cc_rename_include

diff --git a/Manual_tools/scripts/cc_rename_include b/Manual_tools/scripts/cc_rename_include
deleted file mode 100755
index f8a53015506..00000000000
--- a/Manual_tools/scripts/cc_rename_include
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/usr/local/bin/perl -pi.bak
-
-# rename all include statements to \ccInclude
-s/[\\]cc((Style)|c)[{]#include +<([^>]*)>[}]/\\ccInclude{$3}/g;
-