diff options
| author | David Aspinall | 1998-10-21 10:18:31 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-21 10:18:31 +0000 |
| commit | 035b087912960fc4174a6fc197203e84f17d1451 (patch) | |
| tree | bd2a945e48b8846ad2ea090e8fc67b0baddc4a57 /generic/proof-script.el | |
| parent | 119b804454c73a44be3d77739edb6a1d863d1da1 (diff) | |
Fixed info directory setting so more robust and works for FSF GNU Emacs
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions