You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+2-2Lines changed: 2 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -113,17 +113,17 @@ If you like it, you can use our [EmbASPServerExecutor](https://github.com/DeMaCS
113
113
-[Font Awesome Icons 4.7](https://fontawesome.com/v4.7.0/icons/) - Icon set used
114
114
-[jQuery](https://jquery.com) and [its UI Layout plugin](http://plugins.jquery.com/layout) - Used to improve the UI
115
115
-[jQuery contextMenu 2](https://swisnl.github.io/jQuery-contextMenu/) - Used for to create the context menus
116
-
-[keymaster.js](https://github.com/madrobby/keymaster) - Used to implement keyboard shortcuts outside the editor
116
+
-[Mousetrap](https://craig.is/killing/mice) - Used to implement keyboard shortcuts outside the editor
117
117
-[Pugjs](https://pugjs.org) - Used to create a dynamic html pages
118
118
-[Socket.io](https://socket.io) - Used for executor server connection
119
119
-[Browsersync](https://www.browsersync.io) - Used to enable the live reload on the browser
120
120
-[Gulp](https://gulpjs.com) - Used to automate and enhance the workflow with its plugins:
121
121
-[gulp-nodemon](https://github.com/JacksonGariety/gulp-nodemon) - Used to monitor for any changes in the source files and automatically restart the server
122
+
-[gulp-babel](https://github.com/babel/gulp-babel#readme) - Used to used to convert ECMAScript 2015+ code into a backwards compatible version of JavaScript
122
123
-[gulp-clean](https://github.com/peter-vilja/gulp-clean) - Used to remove files and folders
123
124
-[gulp-uglify-es](https://gitlab.com/itayronen/gulp-uglify-es) - Used to minify JS files
124
125
-[gulp-autoprefixer](https://github.com/sindresorhus/gulp-autoprefixer#readme) - Used to add CSS prefix
125
126
-[gulp-csso](https://github.com/ben-eb/gulp-csso) - Used to minify CSS files
126
-
-[gulp-shorthand](https://github.com/kevva/gulp-shorthand) - Used to make the CSS files lighter and more readable
127
127
-[gulp-imagemin](https://github.com/sindresorhus/gulp-imagemin#readme) - Used to minify PNG, JPEG, GIF and SVG images
0 commit comments