diff options
| author | David Aspinall | 2004-08-25 11:51:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-08-25 11:51:29 +0000 |
| commit | 646a53c46063e2af83293e1351a8dd55fa986141 (patch) | |
| tree | 2890800f760928ce9eab2c2b4a13968527a22a52 | |
| parent | 6765ebc4f6d76af7078a852c6d6918d6246478ad (diff) | |
Renamed file
| -rw-r--r-- | lib/proof-compat.el (renamed from generic/proof-compat.el) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/generic/proof-compat.el b/lib/proof-compat.el index f8222e40..f8222e40 100644 --- a/generic/proof-compat.el +++ b/lib/proof-compat.el |