diff options
| author | Thomas Kleymann | 1998-10-22 18:53:14 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-22 18:53:14 +0000 |
| commit | da4900791d36269aaf4a9bcb4b8416a37811bdc0 (patch) | |
| tree | 55152413c6c4a0296e7acfcce18d177a803b5f1b /etc/ProofGeneral.patch | |
| parent | bed25bc850b8d6e50d56a9dd4b30e1fca2eb086a (diff) | |
minor change
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions