From 58f6c7b5f4935fe9aca0eceb4ce8684d9816c7b5 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 16 Jan 2015 16:37:29 +0100
Subject: Replaced 8 spaces by tabs.

---
 Makefile.extr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index 2d429f76..2afd6e31 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -157,7 +157,7 @@ clean:
 	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
 
 cleansource:
-        rm -f $(EXECUTABLES)
+	rm -f $(EXECUTABLES)
 	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
 
 # Generation of .depend.extr
-- 
cgit