summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2020-12-18Minor updatesHEADmasterThomas Letan
2019-06-13fix: Generalize opam configuration with ${HOME}Thomas 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 2021-01-19 23:46:56 +0000