diff options
| author | Gaëtan Gilbert | 2020-03-30 19:02:21 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-03-30 19:02:55 +0200 |
| commit | 2b78aa38c2c75f99eaff3e3b1575eab3d5c76677 (patch) | |
| tree | 4ee762a9cbe99e4c6216a41593db011f1aeb6a3e /dev/ci | |
| parent | d2f21a119fea99d8621fb227b82fa8a1bf17d9fb (diff) | |
ocamlformat: use whitelist instead of blacklist
Using disable=true in .ocamlformat and disable=false in sub
.ocamlformat works fine.
Note that disable=true must be after the `profile` setting otherwise
it gets reset
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions