diff options
| author | David Aspinall | 1998-10-12 10:34:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 10:34:47 +0000 |
| commit | 0e5712302531fbed60d2766673edb83a1fea210f (patch) | |
| tree | 84fab2d2a3520be98ca2648f83cfc10d8ede8d57 /etc/ProofGeneral.patch | |
| parent | 053e46d7841ed99a8c0de71c24b649f46fc9c5aa (diff) | |
Reordered some X's
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions