tree 84cbb8e64aa54da87bdc68c576d489f5bb9e12fa
parent 6ef366644f7c3c21cfb17434835edf4ebf970d6d
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1569347012 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1569347012 -0300

Details in the makefile (warning options)