Mike Gelfand aa2730d47c Switch to HTTPS links, adjust wiki links where possible ... Fixes #39		2018-01-16 01:12:59 +03:00
..
images	(trunk) slightly better image compression by passing them through pngwolf	2013-07-14 23:03:31 +00:00
javascript	Switch to HTTPS links, adjust wiki links where possible	2018-01-16 01:12:59 +03:00
style	#4866: Replace existing menus with jQueryUI menu	2015-04-30 05:20:48 +00:00
LICENSE	…
Makefile.am	(trunk web) #4548 "non-local stylesheets and js" -- bundle jqueryui's css and accompanying images so that we don't have to rely on a third-party CDN.	2011-10-14 22:24:23 +00:00
index.html	#4518: Mark appropriate fields in prefs as html5 number fields (patch by e-moe)	2015-10-08 18:54:43 +00:00