diff options
| author | Healfdene Goguen | 1998-05-06 15:29:11 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-06 15:29:11 +0000 |
| commit | c50d5ce5db513ab604932bd429ef095b5e8c4e40 (patch) | |
| tree | 749433c1e566fda0e2de90b6e3c43e67fff4dbf8 /script-management.info | |
| parent | 61f04320b01df3efd72f73adc9a3bafe311f3523 (diff) | |
Added coq-info-dir so that script-management.info can be hard-coded.
Diffstat (limited to 'script-management.info')
0 files changed, 0 insertions, 0 deletions