[merge]: Merged remote master into new master

This commit is contained in:
corner 2020-04-28 09:22:50 +02:00
commit 17614ed5e8

View File

@ -96,3 +96,4 @@ exports.watch = () => {
gulp.watch("src/*.html", html); gulp.watch("src/*.html", html);
gulp.watch("res/*", res); gulp.watch("res/*", res);
}; };