diff options
| author | Healfdene Goguen | 1998-05-22 11:31:33 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-22 11:31:33 +0000 |
| commit | aff390544f3133d2b7a8d91e8764a99876154f2c (patch) | |
| tree | 34b5ae8909c053df80c1381a72df7e748a110bfc /script-management.info | |
| parent | 68c54b19894599aa9983cb1994565f98872b794b (diff) | |
Correct path for coq-prog-name and coq-tags.
Diffstat (limited to 'script-management.info')
0 files changed, 0 insertions, 0 deletions