diff options
| author | Florian Dold <florian.dold@gmail.com> | 2017-05-31 16:04:14 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2017-05-31 16:04:23 +0200 |
| commit | 613a14c14f969bf21ff7569f93cde3a7a35ce96a (patch) | |
| tree | 5767b5d1664e503aa46bfd37074c14f44402b806 /INSTALL | |
| parent | 7e5ddf3a456b0b39f688dc79035841d4bf86aa00 (diff) | |
fix messaging, small issues and safer types
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions