diff options
| author | Vincent Laporte | 2019-10-28 12:53:39 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-11-25 08:40:38 +0000 |
| commit | e0e52b72b532b5e487067750b8d860fc2df10df6 (patch) | |
| tree | 82e0d7b327e30ba835acdd7a8f2390ac02d007fe /dev/ci/ci-iris-lambda-rust.sh | |
| parent | c997e97897712e4e55cb4b0238f176bd57ff9374 (diff) | |
setoid_ring: do not use “omega”
Diffstat (limited to 'dev/ci/ci-iris-lambda-rust.sh')
0 files changed, 0 insertions, 0 deletions