diff options
| author | David Aspinall | 2009-09-04 19:47:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 19:47:26 +0000 |
| commit | 79ba02419da4f6371cc64e881859858be3d82711 (patch) | |
| tree | 6fc66aeefeaf3bf0bf54bc71d49ec88050c052a2 /generic/proof-shell.el | |
| parent | d52c2717239d6e3e2f31456bada62e692d6d7b4c (diff) | |
Simplify Info-directory handling
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions