Commit Graph

1 Commits

Author SHA1 Message Date
Grégoire Henry
99d0603a53 Opam: use pinned repo in docker image 2018-06-28 13:45:05 +02:00