diff options
author | James Fish <james@fishcakez.com> | 2015-02-07 19:35:04 +0000 |
---|---|---|
committer | James Fish <james@fishcakez.com> | 2015-02-07 20:09:22 +0000 |
commit | 52319655a57dbb42e2a77a7c973293b63880898b (patch) | |
tree | 5d420da02a919e16d856b0696c9de3d6cabc6b14 /doc | |
parent | 038d721f90952f0eabda6b4e5333a0ec35a255dd (diff) |
Fail if any dialyzer warnings aren't unknowns
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions