Silvan Calarco 8e1daaf940 codemirror: found workaround for wrong cursor position when lineNumbers is on		2020-10-02 14:13:04 +02:00
..
codemirror	codemirror: found workaround for wrong cursor position when lineNumbers is on	2020-10-02 14:13:04 +02:00
webbuild	Convert webbuild.js.inc into canonically include script webbuild-2.js	2020-09-29 20:04:01 +02:00
distroquery.js	distroquery support: forgotten new files in previous commit	2015-04-07 22:00:28 +02:00
jquery-migrate-1.2.1.min.js	Load internal jquery and jquery-migrate scripts instead of using googleapis	2018-07-28 18:19:46 +02:00
jquery.cookiebar.js	Fix for Enter doing search triggering main form. Minor cookie thing fix.	2015-07-25 14:47:50 +02:00
jquery.js	Webbuild integration	2014-11-13 21:33:23 +01:00
jquery.jscrollpane.css	Webbuild integration	2014-11-13 21:33:23 +01:00
jquery.jscrollpane.min.js	Fix for jquery inclusion, only include it once in site and webbuild	2015-07-12 15:45:26 +02:00
jquery.min.js	Load internal jquery and jquery-migrate scripts instead of using googleapis	2018-07-28 18:19:46 +02:00
jquery.mousewheel.js	Webbuild integration	2014-11-13 21:33:23 +01:00
socialbox.js	Minor fixes	2020-06-16 10:02:28 +02:00