diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-03 23:34:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-21 03:07:27 +0200 |
| commit | 053812dc5f32635f177fafbf566936aa079bfeed (patch) | |
| tree | 8906575b0fc1b7b34216f0cce98622480717d05f /Makefile.ide | |
| parent | d6eb4a26648817f6b034e95c02622cadf0fa65ca (diff) | |
[ci] Add Dune to the base system.
It is needed by Elpi and pidetop, and it is anyways needed for most
OCaml packages, including some Coq tools in the future.
The future base Docker image will include it by default.
Diffstat (limited to 'Makefile.ide')
0 files changed, 0 insertions, 0 deletions