Roberto Ierusalimschy 9e7de9473c message from -v option goes to stdout, as it is not an error message

2008-06-26 16:47:51 -03:00

9.9 KiB

Raw Blame History

View Raw