diff options
| author | Healfdene Goguen | 1998-05-06 16:38:03 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-06 16:38:03 +0000 |
| commit | 54c9e82a2ad7623191f54c914c8c0ecc26b38613 (patch) | |
| tree | 716647110baf61a20ac268cac07f18c03ff1a20c /script-management.texinfo | |
| parent | b0045534e0197874dea3dbd8673ad0e2940c08cc (diff) | |
Added comments about info file and default values in coq.el.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions