diff options
| author | Vincent Laporte | 2019-05-03 12:00:34 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-05-07 14:18:24 +0000 |
| commit | 782312a65310dc717d830b3e8e5a7ba54b4cfb6e (patch) | |
| tree | ac90d47fa9b774654b872d22512a4460b8bdf8f6 /dev/ci/ci-basic-overlay.sh | |
| parent | b50bd0f9fd2fedb7dd14edd39baabf2fc3be8e3b (diff) | |
[nix-ci] Add coquelicot, improve flocq
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions