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