diff options
| author | w0rp <devw0rp@gmail.com> | 2017-11-22 13:46:11 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-11-22 13:46:11 +0000 |
| commit | 520541cd2d8ebd22a9990875655fb2d10289fd22 (patch) | |
| tree | 1f57261f3561549db39dd2b527c1720f486a2d5a /ale_linters/ocaml | |
| parent | 3f70f1cbf1baee707fe78968f57950b78fc6c19b (diff) | |
| download | ale-520541cd2d8ebd22a9990875655fb2d10289fd22.zip | |
#1095 - Use --stdin-filepath for prettier, where available
Diffstat (limited to 'ale_linters/ocaml')
0 files changed, 0 insertions, 0 deletions