From 3bf7247366831836d1b09a300f3c9e7d967f7b18 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Fri, 4 Feb 2011 07:32:44 +0100
Subject: [PATCH] use 4 space indent

---
 editor.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/editor.html b/editor.html
index 35166209..6e29467c 100644
--- a/editor.html
+++ b/editor.html
@@ -232,11 +232,11 @@ using namespace std;
 
 int main ()
 {
-  int a, b=3; /* foobar */
-  a = b;
-  a+=2; // equivalent to a=a+2
-  cout << a;
-  return 0;
+    int a, b=3; /* foobar */
+    a = b;
+    a+=2; // equivalent to a=a+2
+    cout << a;
+    return 0;
 }
 </script>