tree cd03200ee7592e09792b4a251f1884e102039736
parent 9f208199d8d6768afb3070d8cf3cb5f0f4b8867f
author Joachim Bingel <joa.bingel@gmail.com> 1421951807 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1421951807 +0000

grouping behaviour (MIN/MAX options in #IN and #OV)