diff options
| author | Vincent Laporte | 2020-03-10 13:02:15 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2020-03-19 08:05:02 +0100 |
| commit | daad81ddd72f4a8892b683d4f2b72345ff0bb84f (patch) | |
| tree | f757fb85c150ba2de7eb293e59c2158c8f4fc3b0 /doc/sphinx/proof-engine | |
| parent | a1315d78a5b3c6095848298f03ca328380a7d453 (diff) | |
[stdlib] Remove a few `auto with *`
Diffstat (limited to 'doc/sphinx/proof-engine')
0 files changed, 0 insertions, 0 deletions