Skip to content
GitLab
Explore
Sign in
clean-compiler-and-rts
run-time-system
Repository
run-time-system
istartup.s
Find file
Blame
History
Permalink
fix conversion of Real toString conversion on linux, use 15 digits, same
· 9563ba7d
John van Groningen
authored
Jun 22, 2004
as when printing reals
9563ba7d