From 8d78a726871875f5e26fb975fd4e4626a024b8ac Mon Sep 17 00:00:00 2001
From: alain viari <viari@aquifex.local>
Date: Sun, 8 Nov 2015 15:00:11 +0100
Subject: [PATCH] remove dev_config

Former-commit-id: fa67c98a5c571cde4a6126d709b18ccc44b8c643
Former-commit-id: 97bb191c49ed444ee525f40b296088a9c013ef12
---
 src/dev_config | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 src/dev_config

diff --git a/src/dev_config b/src/dev_config
deleted file mode 100755
index 6c5565c..0000000
--- a/src/dev_config
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/csh -f
-
-set cfg = `find . -type d -name config -print | grep -v ncbi`
-
-foreach cf ($cfg) 
-  echo $cf
-  \rm -r $cf
-  cp -r ../config $cf
-end
-
-
-exit 0
-
-