commit | 588dfa4ce5f7fa699495a2ee590a57a8305be420 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Fri Jun 08 16:07:27 2018 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Fri Jun 08 16:07:27 2018 -0300 |
tree | a8515d4c9189dad6216f95c574a667d01cbe9826 | |
parent | 6f2b8e21c4ea9d730ccfe7e41bfc178704d1fc75 [diff] |
detail in comment