diff options
| author | David Aspinall | 1999-10-06 10:57:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 10:57:27 +0000 |
| commit | e76a829f1d45b52bff9d9351fdeaa354aafffde7 (patch) | |
| tree | 8b965ea0b7350c7bb547aff85b076d51ff7804f4 /generic | |
| parent | 0bcb0fa5b07aa7c1be55f7f8901875763604400d (diff) | |
Fixed coq-interrupt-regexp.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions