| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | batch importHEADmaster |   Quentin Heath | 2015-06-20 | 14 | -72/+213 |
| | | |||||
| * | again-birth of the repo (was a wee too messy) | Quentin Heath | 2013-08-16 | 13 | -0/+371 |
GitWeb
GitWeb
 |
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 | 14 | -72/+213 |
| | | |||||
| * | again-birth of the repo (was a wee too messy) | Quentin Heath | 2013-08-16 | 13 | -0/+371 |