diff options
| author | Cedric Nugteren <web@cedricnugteren.nl> | 2016-11-17 22:19:36 +0100 |
|---|---|---|
| committer | Cedric Nugteren <web@cedricnugteren.nl> | 2016-11-17 22:19:36 +0100 |
| commit | 29aab3019ed08f8f185944914ab7a9e8bd493e36 (patch) | |
| tree | 352a447efd74fe89381bc903982453acc939bbcf /src/database | |
| parent | 746d688e070c1506cf593ff4f460f384b25bf9ed (diff) | |
Fixed a bug in the error margins; relaxed the error margins for half-precision
Diffstat (limited to 'src/database')
0 files changed, 0 insertions, 0 deletions