diff options
| author | Vincent Laporte | 2018-11-05 10:15:43 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-11-05 10:15:43 +0000 |
| commit | 67ab9b444995ac216e908a0963192304d4965e69 (patch) | |
| tree | d5dd90bdecb9e069ad759e79bd088d06b3ab1d13 /dev/ci/ci-plugin-tutorial.sh | |
| parent | eb842684456c5a965507c83e7b169ae0d0f6cc90 (diff) | |
| parent | 0bdcf9c6cd4d17f46456d0a82c8eac1bd45c4ec2 (diff) | |
Merge PR #8836: [default.nix] Add coq-version and setupHook.
Diffstat (limited to 'dev/ci/ci-plugin-tutorial.sh')
0 files changed, 0 insertions, 0 deletions