diff options
author | w0rp <w0rp@users.noreply.github.com> | 2020-08-17 21:34:10 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-17 21:34:10 +0100 |
commit | 6d33417b15dd65bdf91cf2945c6c13ab0f72e604 (patch) | |
tree | a6ccc714153d53ebe1d56e1831a1d80b1e569d0e /ale_linters/ocaml | |
parent | eb864730e2bf843f83dcf58ae43c802ad0cad8ee (diff) | |
parent | e5e39a939a7007cfa4c9d922b41dc2bf5a4ec920 (diff) | |
download | ale-6d33417b15dd65bdf91cf2945c6c13ab0f72e604.zip |
Merge pull request #2759 from kgrzywacz/master
credo now recognizes umbrella projects
Diffstat (limited to 'ale_linters/ocaml')
0 files changed, 0 insertions, 0 deletions