diff options
| author | Pierre Courtieu | 2020-05-04 14:40:59 +0200 |
|---|---|---|
| committer | Cyril Anaclet | 2020-05-04 17:12:27 +0200 |
| commit | 5900b15ec4dc6fd344c641c2d676157be70bd551 (patch) | |
| tree | a6d1d96eedf2fd0772285049ae217c286d95e7b7 /ci | |
| parent | dd6c458085d4050411fa4bd1ad4aca26e4145950 (diff) | |
Fixing #485, bug on proof without "Proof".
Due to a re-search that should fail silently.
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions