Xavier Guimard 24ab56ce7e Update JS libs (fixes some little security issues)		2019-12-19 06:55:49 +01:00
..
jquery-ui.js	Update javascripts (#595)	2017-01-12 20:25:50 +00:00
jquery-ui.min.js	Update JS libs (fixes some little security issues)	2019-12-19 06:55:49 +01:00