diff options
| author | Erik Martin-Dorel | 2018-12-20 16:18:28 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2018-12-21 12:17:07 +0100 |
| commit | da5985eae6656be1bd30aee76c8d08dbc3a09c25 (patch) | |
| tree | 5574ca1c18e076a672da3a26672dccfcecd465ae /Dockerfile.make | |
| parent | 1c14614a2328d1854fd584d8d7ca54121faec0ee (diff) | |
chore: s/.build/.opam-build/
Diffstat (limited to 'Dockerfile.make')
0 files changed, 0 insertions, 0 deletions