diff options
| author | David Aspinall | 1998-10-01 17:27:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 17:27:06 +0000 |
| commit | 8db7c16234e104960a3d5f09bdf6e8f0572484ba (patch) | |
| tree | dfebfe958891e2fa422050d51cc548e8b757b080 /generic | |
| parent | ce6a7a3b011b068f62ba652258aef6393344c65c (diff) | |
Fixed for new header in coqtags.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions