diff options
author | James Fish <james@fishcakez.com> | 2015-02-15 18:14:19 +0000 |
---|---|---|
committer | James Fish <james@fishcakez.com> | 2015-02-15 18:14:19 +0000 |
commit | 4b8e9db4cae9971a27a6e042a43c61db1db60f18 (patch) | |
tree | 9448eef0b47cde1a72a5b9e2909068e1c02d9670 /doc | |
parent | cede33a8f9d37de8c5a2617ffc1c680e46333eef (diff) |
Fix dialyzer when only updating plt
Previously dialyzer would crash when not doing success typing analysis.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions