tree 03b201bff03cc66c52998dbf4b4fcfa9046a025c
parent b444590950ec8959e696640c86450331f5f17e3d
parent b32b58b3dab899dfcbbb38188f4f4e26e2c3bf82
author cabo <cabo@tzi.org> 1431103354 +0200
committer cabo <cabo@tzi.org> 1431103354 +0200

Merge pull request #20 from obgm/no-floats

Make floats optional (fixes #8, also fixes #21, #22)