Martin Diehl 6604d0f8e8 polishing		2014-12-18 19:26:52 +00:00
..
misc	some small fixes, reporting still needs update	2014-10-06 12:47:52 +00:00
post	polishing	2014-12-18 19:26:52 +00:00
pre	added possibility to specify number of bins to be sorted in advance to current cleared stage	2014-12-18 18:03:36 +00:00