From bd60805706b7a599d4317f686d850a0c7ee45cf7 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Mon, 18 Jan 2016 23:20:42 +0100
Subject: [PATCH] add default gulp task

---
 extension/gulpfile.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/extension/gulpfile.js b/extension/gulpfile.js
index 9b62216dd..157914832 100644
--- a/extension/gulpfile.js
+++ b/extension/gulpfile.js
@@ -142,3 +142,5 @@ gulp.task("tsconfig", function() {
              .pipe(gulp.dest("."));
 });
 
+
+gulp.task("default", ["package", "tsconfig"]);