Tim Gerundt 851b80341c htdocs: Fix escaping of html characters in /devinfo.		2013-07-31 14:01:56 +02:00
..
github.js	htdocs: Fix escaping of html characters in /devinfo.	2013-07-31 14:01:56 +02:00
jquery-1.10.2.min.js	Update jquery to 1.10.2 and add a local fallback.	2013-07-10 06:43:07 +02:00
pack.js	htdocs: Fix escaping of html characters in /devinfo.	2013-07-31 14:01:56 +02:00
picnet.table.filter.min.js	htdocs: update picnet table filter	2013-06-05 17:27:35 +02:00