tree ae0a03f16d413e6a901c6a5f64058264974672fb
parent 4d46289331395a845c5de1f6c0e0fe873c50db4f
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1562349795 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1562349795 -0300

Details (typos in comments)