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 /lib/.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 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions