]> source.dussan.org Git - jquery-ui.git/commit
projects / jquery-ui.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 812c274) | patch
Build: Revert mistaken change in last commit, putting back the docs-download target.
authorjzaefferer <joern.zaefferer@gmail.com>
Fri, 19 Nov 2010 16:01:00 +0000 (17:01 +0100)
committerjzaefferer <joern.zaefferer@gmail.com>
Fri, 19 Nov 2010 16:01:00 +0000 (17:01 +0100)
commitefa28a5c8d00cd623c51db73dc675224312f3e4d
tree512509212bb1c29ac8cba0ec1a56d6e2e63518e2tree | snapshot
parent812c274a3376c4fee4d9705628a629d185bc86a9commit | diff
Build: Revert mistaken change in last commit, putting back the docs-download target.
build/build.xml diff | blob | history
The official jQuery user interface library: https://github.com/jquery/jquery-ui