diff options
author | 2001-09-24 12:18:34 +0000 | |
---|---|---|
committer | 2001-09-24 12:18:34 +0000 | |
commit | ced2af506aca5ec7e95285158ec9bfd67e461b9b (patch) | |
tree | 6b7fb95e0da341c1dafe0229738e97d83b01b18e /generic/proof-config.el | |
parent | 853bb8f86fb32a96e954a7912127a6bb66df6add (diff) |
Updated.
Diffstat (limited to 'generic/proof-config.el')
0 files changed, 0 insertions, 0 deletions