manifold: fix in plugin.js
authorJordan Augé <jordan.auge@lip6.fr>
Thu, 8 Aug 2013 15:18:01 +0000 (17:18 +0200)
committerJordan Augé <jordan.auge@lip6.fr>
Thu, 8 Aug 2013 15:18:01 +0000 (17:18 +0200)
plugins: revamped query_editor to accept filter updates + fixes in active_filters


No differences found