]> source.dussan.org Git - jquery-ui.git/commitdiff
Merge branch 'master' into widget-delegation
authorJörn Zaefferer <joern.zaefferer@gmail.com>
Thu, 28 Jul 2011 13:16:20 +0000 (15:16 +0200)
committerJörn Zaefferer <joern.zaefferer@gmail.com>
Thu, 28 Jul 2011 13:16:20 +0000 (15:16 +0200)

Trivial merge