diff options
| author | David Aspinall | 1998-10-12 16:21:13 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 16:21:13 +0000 |
| commit | e5bcca0e60f0f60171057bc4efc42cf21e1d117f (patch) | |
| tree | 58f722647963f156e89e4b6336974414569a6f45 /etc/ProofGeneral.patch | |
| parent | d399afff6fbf157550a1144c14e90ecfdbb8b005 (diff) | |
Fixed broken tagging
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions