Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Thanks to Ian Delaney for reviewing: the norm is to revbump with the change o... | Mark Wright | 2015-05-01 | 1 | -109/+0 |
* | EAPI=5. Use python 2.7. Thanks to Ian Delaney for helping to upgrade to distu... | Mark Wright | 2015-05-01 | 1 | -19/+18 |
* | QA: drop trailing '.' from DESCRIPTION | Sergei Trofimovich | 2014-08-10 | 1 | -3/+3 |
* | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ... | Mark Wright | 2012-01-08 | 1 | -4/+4 |
* | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 1 | -0/+110 |