diff options
| author | Dario Vladović <d.vladimyr@gmail.com> | 2021-05-03 21:48:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-03 21:48:58 +0200 |
| commit | dead06ba14e30803f0027be8d46cc1f395d5d87e (patch) | |
| tree | f1e9dc3ae2c0fb2aa36768332c2e969ca87e92a8 /src/configs/mod.rs | |
| parent | c60ddf76f699b46da1f44bf9c7715523672cf4ca (diff) | |
test(ocaml): test custom switch indicators (#2657)
Diffstat (limited to 'src/configs/mod.rs')
0 files changed, 0 insertions, 0 deletions