diff options
| author | David Aspinall | 2008-01-24 23:56:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-24 23:56:45 +0000 |
| commit | bf211c52fd8fa79c8733fdaf1a127564c33a9829 (patch) | |
| tree | de70dfa9cbb72c6d7381a70d74de8056e88e6e11 /FAQ | |
| parent | 92508191870320f68a714d0d1cb8282d3179a8af (diff) | |
Remove use of proof-ass
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions