diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-24 17:06:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-24 17:06:16 +0000 |
| commit | 0df9e73ede3cac9995538d6144629edc3a2cd40f (patch) | |
| tree | a88d8e29ecd9012ff87e411036bb6a0370d4265e /doc | |
| parent | 3feff0cf305d1a0fbd61fe4881dc22f983d0b1b4 (diff) | |
Added note about changing perl path in {coq,lego}tags.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions