diff options
| author | David Aspinall | 2009-09-07 09:17:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 09:17:09 +0000 |
| commit | bf9066e8b0b5c6f02a19cd4baeeae598a357675b (patch) | |
| tree | 7bf8806305c5513595592797ceac77b1d5986ddb /generic/proof.el | |
| parent | c48d00f6129e66047c4df261f776f4c8aaa49b0b (diff) | |
Fix compiler warnings
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions