diff options
| author | Frank Wuerthwein <fkw@ucsd.edu> | 2009-03-18 13:00:44 +0000 |
|---|---|---|
| committer | Frank Wuerthwein <fkw@ucsd.edu> | 2009-03-18 13:00:44 +0000 |
| commit | c2c029003b7d5e2e024543bafc69725608ae5e9e (patch) | |
| tree | 3acb6c616799b2f64586997959d07e9a124f5926 /doc/README.txt | |
| parent | 3d31ceb2029dc34f327023f4d35d7e7b048805a1 (diff) | |
Document want_rounding
Diffstat (limited to 'doc/README.txt')
0 files changed, 0 insertions, 0 deletions