From 69b15ed9b811d33189a289957a540cf793b44c97 Mon Sep 17 00:00:00 2001
From: Jero Soler <jero.soler@gmail.com>
Date: Fri, 18 Oct 2024 17:38:57 +0200
Subject: [PATCH] Removed old gulpfile

---
 gulpfile.js | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 gulpfile.js

diff --git a/gulpfile.js b/gulpfile.js
deleted file mode 100644
index 8654ac1..0000000
--- a/gulpfile.js
+++ /dev/null
@@ -1,13 +0,0 @@
-const { src, dest } = require("gulp");
-const uglify = require("gulp-uglify");
-const rename = require("gulp-rename");
-
-exports.default = function () {
-  return (
-    src("src/*.js")
-      .pipe(uglify())
-      // So use gulp-rename to change the extension
-      .pipe(rename({ extname: ".min.js" }))
-      .pipe(dest("dist/"))
-  );
-};
\ No newline at end of file