…
..
Config.in	jquery-ui-themes: rename options to have proper prefix	2018-05-21 23:08:15 +02:00
jquery-ui-themes.hash
jquery-ui-themes.mk