diff options
| author | Erik Martin-Dorel | 2020-05-28 19:40:46 +0200 |
|---|---|---|
| committer | GitHub | 2020-05-28 19:40:46 +0200 |
| commit | 0bfd208037646a1e1871dae9fc6fc6be0f7bd39c (patch) | |
| tree | c4116373211b4acebbd1458f935f2e6ac5b0d5a5 /generic/proof-shell.el | |
| parent | 97d7c15f65a0e088d942ad509f2d7b6a897a75be (diff) | |
| parent | 2d16d47667fc9985f315f2dbf62175217f7add1f (diff) | |
Merge pull request #496
fix: test files should not provide features
Fix #493 further
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions