plugins: query_editor now inherits from Plugin class + fixes to active_filters
authorJordan Augé <jordan.auge@lip6.fr>
Thu, 8 Aug 2013 13:40:59 +0000 (15:40 +0200)
committerJordan Augé <jordan.auge@lip6.fr>
Thu, 8 Aug 2013 13:40:59 +0000 (15:40 +0200)

No differences found