• Alexandre Duret-Lutz's avatar
    Update jQuery and jQuery-UI. · f3bae53e
    Alexandre Duret-Lutz authored
    * wrap/python/ajax/ltl2tgba.html: Adjust to use
    jQuery 1.6.1 and jQuery-UI 1.8.13.  Remove a useless check
    of $("#autoupdate").attr("checked") since this checkbox no longer
    * wrap/python/ajax/css/ui-lightness/jquery-ui-1.8.8.custom.css:
    Replace by ...
    * wrap/python/ajax/css/ui-lightness/jquery-ui-1.8.13.custom.css: This.
    * wrap/python/ajax/Makefile.am (EXTRA_DIST): Adjust.
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 371 KB