diff options
| author | Enrico Tassi | 2020-06-24 19:27:40 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-06-24 19:27:40 +0200 |
| commit | ba355fb8eb41cd25cf7bd1ece860c93d32e5793c (patch) | |
| tree | 6f75af46d296ffc0254cb74ba50e7ecf04c119d7 /proofs | |
| parent | 82485e9f2a36a7a52a56622a553817436636b00b (diff) | |
| parent | f67a09a9201916066ed8c9ece073232317e75a8d (diff) | |
Merge PR #12517: Fix #4459 by improving `par:` error message
Ack-by: SkySkimmer
Reviewed-by: gares
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions