commit | 35296e1fde705b3ac8356a4f4ce426497cf7b64c | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Thu Nov 22 13:56:04 2018 -0200 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Thu Nov 22 13:56:04 2018 -0200 |
tree | 59b369957490dd472f04576afe4a225e399c2995 | |
parent | bb0185b196773b878f0bf6b6c6a4a01dbf8c2b83 [diff] |
Details comments and other janitorial work.