]> source.dussan.org Git - jquery-ui.git/commit
projects / jquery-ui.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4069642) | patch
Build: create themes.zip as part of themes-download target
authorjzaefferer <joern.zaefferer@gmail.com>
Mon, 31 May 2010 13:48:10 +0000 (15:48 +0200)
committerjzaefferer <joern.zaefferer@gmail.com>
Mon, 31 May 2010 13:48:10 +0000 (15:48 +0200)
commita8311f955a0cf3fef005955109dcdbfd1a7a08df
tree61b9b6190b7db8ee7a4b4355ee08df6bd1732aadtree | snapshot
parent4069642f21bf2dcc307b5c8bd08158d8052587c5commit | diff
Build: create themes.zip as part of themes-download target
build/build.xml diff | blob | history
The official jQuery user interface library: https://github.com/jquery/jquery-ui