From 2abca4a1361fe24360c0f28db84d40fd75711a56 Mon Sep 17 00:00:00 2001
From: Daniel Ruf <daniel@daniel-ruf.de>
Date: Tue, 3 Apr 2018 00:10:43 +0200
Subject: [PATCH] chore: fix indentation

---
 gulp/tasks/docs.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/gulp/tasks/docs.js b/gulp/tasks/docs.js
index 59b42cc1d..5c53b851c 100644
--- a/gulp/tasks/docs.js
+++ b/gulp/tasks/docs.js
@@ -52,8 +52,8 @@ gulp.task('docs', function() {
     .pipe(supercollider.init())
     .pipe(panini(PANINI_CONFIG))
     .pipe(cacheBust({
-		basePath: '_build/'
-	}))
+        basePath: '_build/'
+    }))
     .pipe(gulp.dest('_build'))
     .on('finish', buildSearch);
 });
@@ -65,8 +65,8 @@ gulp.task('docs:all', function() {
     .pipe(supercollider.init())
     .pipe(panini(PANINI_CONFIG))
     .pipe(cacheBust({
-		basePath: '_build/'
-	}))
+        basePath: '_build/'
+    }))
     .pipe(gulp.dest('_build'))
     .on('finish', buildSearch);
 });
-- 
2.47.2