diff options
| author | David Aspinall | 2011-01-25 19:13:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-25 19:13:39 +0000 |
| commit | b65dbe902217f4252f106f7f281980d4b9ce2a40 (patch) | |
| tree | c45011630d90916ba74cc11860f348c952de3208 /generic/proof-utils.el | |
| parent | eefba80ef3c4bae57738ebcaae66f36105d2b5ef (diff) | |
Remove debug messages
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions