summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2019-06-13fix: Generalize opam configuration with ${HOME}HEADmasterThomas Letan
2019-05-03Opam configurationThomas Letan
2019-05-03Simplify ssh-agent plumbery as I now use AddKeysToAgentThomas Letan
2019-05-03Initial commitThomas Letan