Roberto Ierusalimschy be78aeae4c 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.

2019-08-20 13:42:26 -03:00

273 KiB

Raw Blame History

View Raw