diff options
| author | David Aspinall | 1998-09-16 15:29:32 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-16 15:29:32 +0000 |
| commit | 948364c897f7efbdf83c02b675f8717509cc839c (patch) | |
| tree | c5b01c650919ef2733f7718c0309f2d13e48f89f /etc/ProofGeneral.patch | |
| parent | 6074ca55c0285c5153dc139191cf94149b59cea8 (diff) | |
Info directory entries for FSF and XEmacs.
Tested with both. Incredibly difficult to get right.
localdir is better with XEmacs, but it will use dir in preference, 8-(.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions