diff options
| author | Enrico Tassi | 2018-03-28 11:23:50 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-03-28 11:23:50 +0200 |
| commit | acf5e4b0a7bae99263f76e7330fd85c56c4eda68 (patch) | |
| tree | 58b9289d5cc0d87b78b9f19ad3124c548915344e /dev/ci/ci-iris-lambda-rust.sh | |
| parent | 792042a695083b73f0e998b20197ef0d3de25812 (diff) | |
coqide: avoid marking sentences that are not in the document anymore
Diffstat (limited to 'dev/ci/ci-iris-lambda-rust.sh')
0 files changed, 0 insertions, 0 deletions