Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Convert to thin manifests (as suggested by alexxy and jlec) | 2012-01-14 | 1 | -3/+0 | |
* | Added ffnet | 2010-01-26 | 1 | -0/+1 | |
* | Added open-axiom | 2010-01-22 | 1 | -0/+3 |
![]() |
index : proj/sci.git | |
Gentoo Science Overlay | sci <sci@gentoo.org> |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Convert to thin manifests (as suggested by alexxy and jlec) | 2012-01-14 | 1 | -3/+0 | |
* | Added ffnet | 2010-01-26 | 1 | -0/+1 | |
* | Added open-axiom | 2010-01-22 | 1 | -0/+3 |