diff options
author | Hans Bolinder <[email protected]> | 2014-03-04 13:41:09 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2014-03-20 16:05:23 +0100 |
commit | ad8bf9b974ed80bf4efcb4c2be606b482c6293a1 (patch) | |
tree | babfc401b8204313192cc751140bc932a987f405 /.gitignore | |
parent | 3d70fc00a0e2165cb45022086fec5552a355ef50 (diff) | |
download | otp-ad8bf9b974ed80bf4efcb4c2be606b482c6293a1.tar.gz otp-ad8bf9b974ed80bf4efcb4c2be606b482c6293a1.tar.bz2 otp-ad8bf9b974ed80bf4efcb4c2be606b482c6293a1.zip |
Introduce a new warning option, 'no_unknown'
Not (yet) documented.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions