Age | Commit message (Expand) | Author |
---|---|---|
2020-12-18 | Minor updatesHEADmaster | Thomas Letan |
2019-06-13 | fix: Generalize opam configuration with ${HOME} | Thomas Letan |
2019-05-03 | Opam configuration | Thomas Letan |
2019-05-03 | Simplify ssh-agent plumbery as I now use AddKeysToAgent | Thomas Letan |
2019-05-03 | Initial commit | Thomas Letan |