Mike Gelfand 7177d43ba1 #5944: Unify indentation style and strip trailing whitespaces across JS code, no functional changes (patch by xzcvczx + a lot more)		2015-05-05 19:12:48 +00:00
..
images	(trunk) slightly better image compression by passing them through pngwolf	2013-07-14 23:03:31 +00:00
javascript	#5944: Unify indentation style and strip trailing whitespaces across JS code, no functional changes (patch by xzcvczx + a lot more)	2015-05-05 19:12:48 +00: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	#4866: Replace existing menus with jQueryUI menu	2015-04-30 05:20:48 +00:00