Peter Korsgaard 6a61ef8194 jquery-ui-themes: use a choice option for theme name ... A bit more user friendly than asking people to figure out the available themes manually. Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2013-05-07 15:19:22 +02:00
..
Config.in	jquery-ui-themes: use a choice option for theme name	2013-05-07 15:19:22 +02:00
jquery-ui-themes.mk	jquery-ui-themes: strip theme name	2013-05-07 15:17:52 +02:00