tree 6fcf67cee0de98e7d5676968e039635452345a62
parent b001d19fd24cbd0b43d649abc86b39a6ce199e2e
author Joachim Bingel <joa.bingel@gmail.com> 1403706182 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1403706182 +0000

some simplifications