commit | 90569630d6755190c5f499c51e1d0e6ef41c6cd8 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Jan 29 17:13:27 2018 -0200 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Jan 29 17:13:27 2018 -0200 |
tree | 5d28b0c632b6f31c073b74f9a614836bba04e5a0 | |
parent | dc0ab1e8ca38400d5d7b3a7d00ff7f6c33fdf3d3 [diff] |
detail (uses a reserved-format name for an internal type in the registry)