diff options
| author | Clément Pit--Claudel | 2016-02-27 11:15:02 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel | 2016-02-27 11:16:58 -0500 |
| commit | 4f049b0ba492e1b7ba8ca645fa4ca14cc9497a5c (patch) | |
| tree | a8d787a5fc35d93ab90b02ffd148c4587993825b /pgshell | |
| parent | d5dbd0f57eb33d39b4843a9ef89ef8463c935c10 (diff) | |
Fix a typo: s/coq-modulestart-proofstart/coq-indent-proofstart/
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions