summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)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
generated by cgit v1.2.3 (git 2.25.1) at 2020-05-26 08:50:53 +0000