diff options
| author | Maxime Dénès | 2018-11-27 10:55:44 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-09 11:18:22 +0100 |
| commit | d61f17be123b1d7f2aaba3291ad4c51c78e63df5 (patch) | |
| tree | 46917b958ed5506ed42cfc747df5b9869f9def53 /dev/ci/ci-plugin_tutorial.sh | |
| parent | 7f2e50319d77d09ecc9fdbd6695dd9c92f8389d0 (diff) | |
Make it possible to pass flags to coq when running test suite
Diffstat (limited to 'dev/ci/ci-plugin_tutorial.sh')
0 files changed, 0 insertions, 0 deletions