diff options
| author | Pierre-Marie Pédrot | 2018-11-20 14:06:36 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-20 14:06:36 +0100 |
| commit | 1595aa8045e7076aa51b58f80173dd245303bed6 (patch) | |
| tree | db8674f50e34acfdfd1ec6e739912408bee7f1f4 /dev/tools/pre-commit | |
| parent | 4d26550af26c1dab464253cc470e8a876fee0025 (diff) | |
| parent | 8f4e29aa2f9e86c54f2f14e93809091749706722 (diff) | |
Merge PR #9002: [pfedit] Remove `start_proof` stub from `Pfedit`
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions