Reedy 42d10031b8 Update jQueryUI to 1.8.24 ... http://blog.jqueryui.com/2012/09/jquery-ui-1-8-24/ Change-Id: If8b13ae82d5125f2c77c0018986a564f421690bf		2012-10-13 09:52:22 +02:00
..
default	Update jQueryUI to 1.8.24	2012-10-13 09:52:22 +02:00
vector	Merge "Some fixes to our jQuery UI skin for buttons"	2012-07-31 20:25:55 +00:00