tree f878b124fb783c0409fa581b525080b614c3aad1
parent 8ace71cf176eeedc7fee9e4aaf9ab415127a2420
author Joachim Bingel <joa.bingel@gmail.com> 1403708454 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1403708454 +0000

simplifications