remove useless braces
authorHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 15:14:57 +0000 (16:14 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 9 Feb 2012 15:14:57 +0000 (16:14 +0100)
commit0a761e5511e700dad236ee70bcdaf69c7de700f0
treed8a4cb5904eb40f98e9685f1402a9c2212aeff53
parent925dbb2dac110d46130715464d7877b5b660ced0
remove useless braces
Bidir.agda