diff options
author | Dave Smith <dizzyd@dizzyd.com> | 2013-04-10 15:56:10 -0700 |
---|---|---|
committer | Dave Smith <dizzyd@dizzyd.com> | 2013-04-10 15:56:10 -0700 |
commit | 331c0809c887dae42a002292de82e3ecea2a627e (patch) | |
tree | 0a00e92a7b33bd33d6323e67940923cd193c5c04 /.travis.yml | |
parent | 720d71e47dcc7ffffba032395611228e321e6fb9 (diff) | |
parent | 8b76d23aaec26cde4bae3c3fd672a18c83a1e07c (diff) |
Merge pull request #66 from tuncer/dialyzer-no_native
Makefile: call Dialyzer with -nn flag
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions