Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | Mark Wright | 2012-05-30 | 1 | -0/+11 |
index : archive/repo/gentoo-2.git | ||
Another conversion of the historical gentoo-x86 ebuild repository | Ulrich Müller <ulm@gentoo.org> |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | Mark Wright | 2012-05-30 | 1 | -0/+11 |