tree e351cd89cf4daf5231f3b596bce7aa3298470dd1
parent 11d5b159d39243940900211172a3d848da697a52
author Joachim Bingel <joa.bingel@gmail.com> 1392200334 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1392200334 +0000

switched to new notation, cosmas2 automatic build