Roberto Ierusalimschy 6f1c033d72 More generic pattern when testing 'string.format' ...

The result of 'string.format("%a", 0.0)' can have multiple zeros
after the dot.

2019-11-22 11:07:47 -03:00

16 KiB

Raw Blame History

View Raw