Roberto Ierusalimschy d70a0c91ad Dump/undump reuse strings ...

A repeated string in a dump is represented as an index to its first
occurence, instead of another copy of the string.

2022-12-15 16:44:22 -03:00

873 B

Raw Blame History

View Raw