commit | 7c8146d556714508224dc3f3a68677c18ece00b7 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Oct 22 15:02:09 2018 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Oct 22 15:02:09 2018 -0300 |
tree | 94e05e63ae49178af8de42999bf3587ed84881b1 | |
parent | c90176f96924ee7d207501b32f216925773d3bdb [diff] |
Small improvements in the manual