empty_filter_d…05b77d3f6ef7d01e805b865…

Dec 9 2019

bug fix in the filter iterator
05b77d3f6ef7
·richart on Dec 9 2019, 15:08.
linting
e3494c51066d
·richart on Dec 9 2019, 14:43.
changing the way to do filter adaptor
f9b8db2f4c06
·richart on Dec 9 2019, 11:27.