tree e81d25014e238f589997f109ba10a875c3a875dc
parent 5bc47fe83087e0686f4639d031801837846e4c65
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1566319346 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1566319346 -0300

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.