diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 19:47:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 19:47:26 +0000 |
commit | 79ba02419da4f6371cc64e881859858be3d82711 (patch) | |
tree | 6fc66aeefeaf3bf0bf54bc71d49ec88050c052a2 /lib/proof-compat.el | |
parent | d52c2717239d6e3e2f31456bada62e692d6d7b4c (diff) |
Simplify Info-directory handling
Diffstat (limited to 'lib/proof-compat.el')
0 files changed, 0 insertions, 0 deletions