commit | be78aeae4c429d7d68af3a3e1b0cf8e52fcff160 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Tue Aug 20 13:42:26 2019 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Tue Aug 20 13:42:26 2019 -0300 |
tree | e81d25014e238f589997f109ba10a875c3a875dc | |
parent | 5bc47fe83087e0686f4639d031801837846e4c65 [diff] |
Default for warnings changed to "off" Warnings are mostly a tool to help developers (e.g., by showing hidden error messages); regular users usually don't need to see them.