tree b560b534e17e843dcba9a5405d5408b7bdfe4c1e
parent eecc765a13406a1372a69ac445d82bbbe0ea7ff7
author Joachim Bingel <joa.bingel@gmail.com> 1389778358 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1389778358 +0000

cosmas #IN and #OV operators