diff options
| author | Teddy <[email protected]> | 2013-08-09 21:47:28 +0800 |
|---|---|---|
| committer | Teddy <[email protected]> | 2013-08-09 21:47:28 +0800 |
| commit | 155c3e5d46909d36d9f595e2a3b8d786240b9520 (patch) | |
| tree | c3adf4c128dfa3abe00efc40453d38e62f4d5207 /Makefile | |
| parent | ed541c0d83caff9e417a89bc4e6ae83ea22eb214 (diff) | |
add proper precision to ext repr of real numbers
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions