diff options
| author | obache <obache> | 2009-10-30 06:14:54 +0000 |
|---|---|---|
| committer | obache <obache> | 2009-10-30 06:14:54 +0000 |
| commit | 8df3b36060f60c77c7945e57f13206dc8cb24b60 (patch) | |
| tree | 8b1773fdb8e812c2d7952c4f5f79a85a0e56b37f /lang/coq/DESCR | |
| parent | 9da145d19247263823f7b6217f43816f6543c445 (diff) | |
| download | pkgsrc-8df3b36060f60c77c7945e57f13206dc8cb24b60.tar.gz | |
Mark SUPRESEDES.
Diffstat (limited to 'lang/coq/DESCR')
0 files changed, 0 insertions, 0 deletions