diff develop/js/jquery-ui.js @ 46:b3ca5d2b4d3f extractapp

bug fix: edit and save regex. But a jquery issue in Chrome
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Mon, 16 Mar 2015 15:49:39 +0100
parents fc7342914cdf
children
line wrap: on
line diff