tree 19484e7f0ab45ff2b4fa3c685a6988392039b2f1
parent 014191f32e265ad5df23dd4fa5072c2dd1156a90
author Henner Zeller <h.zeller@acm.org> 1789712115 +0200
committer Henner Zeller <h.zeller@acm.org> 1789712115 +0200

Use contains() in containers where possible.