tree 4f0bb2a454a586a5431c2ec59fc8748a0a20883d
parent 6e6e5479802f1b92fce95bcf2a9fc31fc1640792
author Joachim Bingel <joa.bingel@gmail.com> 1423662988 +0100
committer Joachim Bingel <joa.bingel@gmail.com> 1423662988 +0100

"operation:or" -> "operation:disjunction"
negated tokens