diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 15:03:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 15:03:37 +0000 |
| commit | 87ee0168ba6f365cd99996386690d63009665178 (patch) | |
| tree | cb73ae9e9915a211ae10d09b7a42f5a3a2de7daa /Makefile | |
| parent | f6327b4fd14d5bf52f1943cc7872606123f09a09 (diff) | |
Added more comments to proof-activate-scripting
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions