boyska 23b04a58bc remove useless js things		2019-11-16 12:58:45 +01:00
..
jquery-1.9.1.min.js	Merge client and server in a single bottle app	2013-11-26 12:04:43 +01:00
jquery-ui.min.js	work in progress: changing completely the graphics	2013-12-02 20:58:43 +01:00
jquery.form.min.js	old.html (refs #13) + refactoring	2014-03-02 00:35:27 +01:00
jquery.ui.datepicker-it.min.js	work in progress: changing completely the graphics	2013-12-02 20:58:43 +01:00
new.js	remove useless js things	2019-11-16 12:58:45 +01:00
old.js	remove useless js things	2019-11-16 12:58:45 +01:00
rec.js	JS: standard --fix	2019-11-16 12:34:43 +01:00
ui.js	js: more linting	2019-11-16 12:41:40 +01:00
underscore-min.js	js: debounce name change	2019-11-16 12:31:14 +01:00