]> source.dussan.org Git - jquery-ui.git/commitdiff
projects / jquery-ui.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a6227be 5a5fc9f)
Merge pull request #258 from gnarf37/ticket-7356
authorScott González <scott.gonzalez@gmail.com>
Fri, 13 May 2011 00:37:09 +0000 (17:37 -0700)
committerScott González <scott.gonzalez@gmail.com>
Fri, 13 May 2011 00:37:09 +0000 (17:37 -0700)
#7356 - Theme: Reducing size of CSS for Corner Properties


Trivial merge
The official jQuery user interface library: https://github.com/jquery/jquery-ui