diff options
| author | Théo Zimmermann | 2018-11-26 18:43:53 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-26 18:43:53 +0100 |
| commit | 5b6fba1920c998c732b10beba314638f47e2edde (patch) | |
| tree | 9ffc2057f06aeb7c38070391f4fe8b1af0cc0bff /plugins | |
| parent | 59e4e643caab72a6ee8a3fefedf5a6ce9de62bee (diff) | |
| parent | 9335cc09090bfba1f81f81c35e0acb324bf6cba5 (diff) | |
Merge PR #9057: [nix-ci] Add a README in dev/ci/nix
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions