diff options
| author | Horacio Sanson <hsanson@gmail.com> | 2021-01-27 20:24:26 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-27 20:24:26 +0900 |
| commit | c9f4005820092c7824a35f1d62ae0dc93e474815 (patch) | |
| tree | 5b7ed8ea60e630d787353921bc47a5f64a201de0 /.github/workflows | |
| parent | cab4280d02f0297ae10ab0611778389c7a5766ae (diff) | |
| parent | 105bc5569550925af3b5f679145e1a13e0840344 (diff) | |
| download | ale-c9f4005820092c7824a35f1d62ae0dc93e474815.zip | |
Merge pull request #3425 from pinicarus/custom-dialyzer-options
Custom erlang/dialyzer options
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions