Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | batch importHEADmaster | Quentin Heath | 2015-06-20 | 3 | -3/+14 |
| | |||||
* | again-birth of the repo (was a wee too messy) | Quentin Heath | 2013-08-16 | 4 | -0/+109 |
index : user/dawan.git | ||
OCaml and proof-search related ebuilds | Quentin Heath <dawan@melix.net> |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | batch importHEADmaster | Quentin Heath | 2015-06-20 | 3 | -3/+14 |
| | |||||
* | again-birth of the repo (was a wee too messy) | Quentin Heath | 2013-08-16 | 4 | -0/+109 |