klisp

commit 0b2abc678a2b617face37136ad432194706f01e5
parent e09e6368f9d85f2baf328edd75de7bd0d8712f12
Author: Andres Navarro <canavarro82@gmail.com>
Date:   Tue, 13 Dec 2011 21:24:56 -0300

removed sed scripts used to adjust indentation

Diffstat:
D
src/tab_to_4spaces.sed
 | 
9
---------
D
src/tab_to_8spaces.sed
 | 
9
---------

2 files changed, 0 insertions(+), 18 deletions(-)
diff --git a/src/tab_to_4spaces.sed b/src/tab_to_4spaces.sed
@@ -1,8 +0,0 @@
-# 
-# use on all .k files
-# i.e. sed -i -f tab_to_4spaces.sed tests/*.k
-# Previously a combination of (4 spaces) tabs and spaces were used
-# to attain a 4 (four) space indenting.
-# From now on, no tabs will be used and indenting will,
-# remain at 4 spaces
-s/\     /    /g
-\ No newline at end of file
diff --git a/src/tab_to_8spaces.sed b/src/tab_to_8spaces.sed
@@ -1,8 +0,0 @@
-# 
-# use on all .c, and .h (but NOT on the Makefile)
-# i.e. sed -i -f tab_to_8spaces.sed *.[ch] 
-# Previously a combination of (8 spaces) tabs and spaces were used
-# to attain a 4 (four) space indenting.
-# From now on, no tabs will be used and indenting will,
-# remain at 4 spaces
-s/\     /        /g
-\ No newline at end of file