tree d60529d129e3aa7b8f90cbb336591ce79e679555
parent b64fdcefc695b5a3875dda09fa113c82aa0f52c7
author Joachim Bingel <joa.bingel@gmail.com> 1386615436 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1386615436 +0000

minor bugfixes