| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix dune dependency and make repoman happy |   Philip Miess | 2020-04-12 | 2 | -4/+4 |
| * | add jbuilder alternative dep dune-1 to packages | Philip Miess | 2020-04-12 | 3 | -0/+45 |
GitWeb
GitWeb
 |
index : repo/user/superposition.git | |
| Phil's overlay | Philip Miess <Phil_miess@yahoo.com> |
| summaryrefslogtreecommitdiff |
| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix dune dependency and make repoman happy | Philip Miess | 2020-04-12 | 2 | -4/+4 |
| * | add jbuilder alternative dep dune-1 to packages | Philip Miess | 2020-04-12 | 3 | -0/+45 |