diff options
| author | David Aspinall | 2009-07-30 15:09:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-07-30 15:09:17 +0000 |
| commit | c97be2de9aefa2029def4054631070d6f2b7b653 (patch) | |
| tree | 70271077470a4457914cb5957fe3212ee40d27a6 /generic/proof-script.el | |
| parent | 365ae1d26071b78780ff12add5763a390fbe9feb (diff) | |
Sanitize some email addresses away
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions