diff options
| -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 |