commit | 241bc28b22b1622b500d118f3260f8a8ba9c7d6e | [log] [tgz] |
---|---|---|
author | cabo <cabo@tzi.org> | Fri May 08 18:42:34 2015 +0200 |
committer | cabo <cabo@tzi.org> | Fri May 08 18:42:34 2015 +0200 |
tree | 03b201bff03cc66c52998dbf4b4fcfa9046a025c | |
parent | b444590950ec8959e696640c86450331f5f17e3d [diff] | |
parent | b32b58b3dab899dfcbbb38188f4f4e26e2c3bf82 [diff] |
Merge pull request #20 from obgm/no-floats Make floats optional (fixes #8, also fixes #21, #22)