From 5b9562edf2e0930cc7d0a1efd2dd2aae40bb4aa2 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 18 Aug 2008 21:00:43 +0000
Subject: [PATCH] last changes

---
 Robust/src/README   | 2 ++
 Robust/src/java.cfg | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/README b/Robust/src/README
index b623359c..df13bf73 100644
--- a/Robust/src/README
+++ b/Robust/src/README
@@ -1,2 +1,4 @@
 See the wiki page at http://demsky.eecs.uci.edu/compiler/
 
+To set emacs tabbing add to your .emacs file:
+(setq c-basic-offset 2)
\ No newline at end of file
diff --git a/Robust/src/java.cfg b/Robust/src/java.cfg
index d028eed8..9a49145a 100644
--- a/Robust/src/java.cfg
+++ b/Robust/src/java.cfg
@@ -1,4 +1,4 @@
-indent_columns = 4
+indent_columns = 2
 indent_class = True
 nl_if_brace = Remove
 nl_brace_else = Remove
-- 
2.34.1