From d6fe30156c9b46ae37b78dfbe35e22edd7ef06b5 Mon Sep 17 00:00:00 2001
From: Paulo Matos <paulo@matos-sorge.com>
Date: Wed, 25 Apr 2018 12:37:49 +0200
Subject: [PATCH] Fix indentation

Remove tab and add spaces, which is how the rest of the file deals with this.
Avoid a misaligned preview in github editor.
---
 racket/collects/setup/main.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/racket/collects/setup/main.rkt b/racket/collects/setup/main.rkt
index 4143efddc4..ba7e189e50 100644
--- a/racket/collects/setup/main.rkt
+++ b/racket/collects/setup/main.rkt
@@ -201,7 +201,7 @@
 
   (if (or (on? "--clean")
           (on? "-c")
-	  (on? "--no-zo")
+          (on? "--no-zo")
           (on? "-n"))
       ;; Don't use .zos, in case they're out of date, and don't load
       ;;  cm: