diff options
| author | John van Groningen | 2004-06-22 11:59:51 +0000 |
|---|---|---|
| committer | John van Groningen | 2004-06-22 11:59:51 +0000 |
| commit | df7c2182965d8c03b849a25a6571319757812e5e (patch) | |
| tree | 52f0f0f9af231099cde79d751b24df2fe86795e1 /_startupProfile.xo | |
| parent | fix computation of negative number to the power of an even number (diff) | |
fix conversion of Real toString conversion on linux, use 15 digits, same
as when printing reals
Diffstat (limited to '_startupProfile.xo')
0 files changed, 0 insertions, 0 deletions