diff options
| author | Lysxia | 2019-03-18 08:20:10 -0400 |
|---|---|---|
| committer | Lysxia | 2019-03-18 11:09:30 -0400 |
| commit | e7ddf978adbf441d34b8c17502caaa05ee8da04b (patch) | |
| tree | 96ad98ed0b81aa192a4e6f2e10cb185e40a305f6 /dev/ci/ci-iris-lambda-rust.sh | |
| parent | b64dc640d2af26b1ccf2524c1050c16f57d2be35 (diff) | |
[Manual] Parametrize -> ParametErize
- Refine some `@term` into `@type`
Diffstat (limited to 'dev/ci/ci-iris-lambda-rust.sh')
0 files changed, 0 insertions, 0 deletions