diff options
| author | Brian Campbell | 2020-08-25 18:32:15 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-08-26 10:34:57 +0100 |
| commit | ac2d2a9e0115693064d10d38ad8208a0e9f70b43 (patch) | |
| tree | a8c322f9c3620af4877b6b87142c792fa0c09c1f /editors | |
| parent | 14e5c79b1c6943c88ab36ccc46f073674a76e16c (diff) | |
Coq: make some uses of auto in the library more robust
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions