diff options
| author | Clement Laforet <clement@FreeBSD.org> | 2005-12-05 09:39:21 +0000 |
|---|---|---|
| committer | Clement Laforet <clement@FreeBSD.org> | 2005-12-05 09:39:21 +0000 |
| commit | 8c2c9de67daba570f8c558b38675418fb29a7574 (patch) | |
| tree | 156e9ddfed31ef2e30978e7451011f36bf03fc7a /math/coq | |
| parent | - Update to 0.8.0 (diff) | |
- re-populate distinfo. It was empty.
Reported by: pointyhat via kris
Notes
Notes:
svn path=/head/; revision=150451
Diffstat (limited to 'math/coq')
0 files changed, 0 insertions, 0 deletions