4 Commits

Author	SHA1	Message	Date
Jan	9396d4d952	fix query execution times that may have different between batches (#2606) ... * fix query execution times that may have different between batches * applied query statistic change to ui * do not expose state "finished", as it is useless	2017-06-19 17:47:32 +02:00
jsteemann	537757d9a3	added EnumIterator	2017-03-08 23:40:57 +01:00
jsteemann	1b7b668066	simplify query list a great deal and use less dynamic memory for its entries	2017-03-02 13:20:37 +01:00
jsteemann	62f894c2b8	split big file	2017-03-01 15:49:57 +01:00