diff options
| author |   Marc Hildebrand <zypher@gentoo.org> | 2005-03-31 10:06:59 +0000 |
|---|---|---|
| committer | Marc Hildebrand <zypher@gentoo.org> | 2005-03-31 10:06:59 +0000 |
| commit | 8d8f0cf8f59a40407654505a8109e4136e222e17 (patch) | |
| tree | 5f1ad992606c41f4e4c3509462178ffea3af5fc9 /sci-mathematics/coq | |
| parent | fixed typo, closing bug #87380. (diff) | |
| download | gentoo-2-8d8f0cf8f59a40407654505a8109e4136e222e17.tar.gz gentoo-2-8d8f0cf8f59a40407654505a8109e4136e222e17.tar.bz2 gentoo-2-8d8f0cf8f59a40407654505a8109e4136e222e17.zip | |
fixed typo, closing bug #87380.
(Portage version: 2.0.51.19) (Manifest recommit)
(Portage version: 2.0.51.19)
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions