diff options
| author | David Aspinall | 1999-11-14 10:13:15 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-14 10:13:15 +0000 |
| commit | 0e8e28a0739c32231627bff7034d5170b4c15ca8 (patch) | |
| tree | 978a0f44569621505f9899d21b8d8e3809f8ab76 /generic/proof-script.el | |
| parent | 770b2a7bf3688ab2c1c475356054b2c1433b5496 (diff) | |
devel.clean : use find to clean all subdirs.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions