diff options
| author | Pierre Courtieu | 2021-04-08 16:54:49 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2021-04-08 16:54:49 +0200 |
| commit | d0acb626eba17023c55b002921870d60e48527a5 (patch) | |
| tree | aa853eb90ec1b16f1fcc560cb00f6ff722bbb571 /proof-general-pkg.el | |
| parent | 5dc5e6f085b1f2b2fb6a2ee6216b6d609310071b (diff) | |
Fixing "match with" generation.
Diffstat (limited to 'proof-general-pkg.el')
0 files changed, 0 insertions, 0 deletions