diff options
| author | Hugo Herbelin | 2020-02-23 18:03:13 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-23 18:10:10 +0100 |
| commit | 858f8dba967713692662f23c79d8c33f2d362e91 (patch) | |
| tree | 49ac4cf9defd98316091f6b7ad6623d0862dc4ca /dev/ci/ci-iris-lambda-rust.sh | |
| parent | 267f981c5c05cd795e08ea14aaeab5a49550d21b (diff) | |
Cancelling precedences in Set Printing Parentheses only at border of notations.
Diffstat (limited to 'dev/ci/ci-iris-lambda-rust.sh')
0 files changed, 0 insertions, 0 deletions