diff options
| author | Vincent Laporte | 2018-10-26 10:10:27 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-26 10:10:27 +0000 |
| commit | a5854e84d083a6caf045d424ec34d47a9ffebcc4 (patch) | |
| tree | 1d6158823f0dd1889c41c0cd1cb133a117b97034 /dev | |
| parent | c1e3086bb7373d40819b6334ebeefba6ea53c8fc (diff) | |
| parent | ebf38e474ad96e430f0cbeef533e2faab5748eeb (diff) | |
Merge PR #8821: [default.nix] Update to dune 1.4.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions