]> source.dussan.org Git - jquery-ui.git/commitdiff
Merge branch 'master' of github.com:jquery/jquery-ui
authorRichard D. Worth <rdworth@gmail.com>
Tue, 19 Jul 2011 15:05:20 +0000 (11:05 -0400)
committerRichard D. Worth <rdworth@gmail.com>
Tue, 19 Jul 2011 15:05:20 +0000 (11:05 -0400)

Trivial merge