diff options
| author | martti <martti> | 2007-02-25 12:21:26 +0000 |
|---|---|---|
| committer | martti <martti> | 2007-02-25 12:21:26 +0000 |
| commit | e6d4eb2d93a7e56c35ad0582ace7f753c813b310 (patch) | |
| tree | 820eaa00d9248a9d25f82f49773494b12dde72b3 /lang/coq/distinfo | |
| parent | f72a4f8ba2384edd142719ef370823c6cbf27643 (diff) | |
| download | pkgsrc-e6d4eb2d93a7e56c35ad0582ace7f753c813b310.tar.gz | |
vim
Diffstat (limited to 'lang/coq/distinfo')
0 files changed, 0 insertions, 0 deletions