diff static/jquery-ui-1.8.2.custom/js/jquery-ui-1.8.2.custom.min.js @ 910:3a15fb921b9c

more tripleFilter speedups. accept Decimals coming in from n3 files, which happens with the 2012 code Ignore-this: 5a63ec4776bf9c4ffc3d6b4f20242ac0
author Drew Perttula <drewp@bigasterisk.com>
date Mon, 10 Jun 2013 09:52:15 +0000
parents 77b17dc36834
children
line wrap: on
line diff