diff options
| author | Erik Martin-Dorel | 2020-05-29 11:38:15 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-05-29 11:38:15 +0200 |
| commit | 9c82b71d396b425337592f96f2e9b6a1d97be0c0 (patch) | |
| tree | 297503b50c51cc04a60609e42e6140d4ed2177de /generic/proof-script.el | |
| parent | 77fd293d631bc17afc18ab36ea5d0e0a28fa5f52 (diff) | |
refactor: Remove unneeded coq-should-response
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions