diff options
| author |   Tomas Chvatal <scarabeus@gentoo.org> | 2009-02-03 14:58:39 +0000 |
|---|---|---|
| committer | Tomas Chvatal <scarabeus@gentoo.org> | 2009-02-03 14:58:39 +0000 |
| commit | 5c72baf52c5e0c384fdb9a6dd34690cd176fff71 (patch) | |
| tree | 4f8253479068621600400e3f0cae4708030069e6 /sci-mathematics/coq | |
| parent | Fix init with final version. Thanks to UberLord. (diff) | |
| download | gentoo-2-5c72baf52c5e0c384fdb9a6dd34690cd176fff71.tar.gz gentoo-2-5c72baf52c5e0c384fdb9a6dd34690cd176fff71.tar.bz2 gentoo-2-5c72baf52c5e0c384fdb9a6dd34690cd176fff71.zip | |
Fix init with final version. Thanks to UberLord.
(Portage version: 2.2_rc23/cvs/Linux x86_64)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions