diff options
| author | Brian Campbell | 2020-11-19 10:29:03 +0000 |
|---|---|---|
| committer | Brian Campbell | 2020-11-19 10:29:20 +0000 |
| commit | 2173dc28a24bc829ca93205e2fafc1a3daf404d5 (patch) | |
| tree | 9dddab4f742e6daf66a2f55f7900ccdd616efa47 /test/mono/rewrites.sail | |
| parent | 6198232aef876842be8be3641be7faf0cad5b4a5 (diff) | |
Specifically note that Ubuntu 18.04 needs a new opam
Diffstat (limited to 'test/mono/rewrites.sail')
0 files changed, 0 insertions, 0 deletions