diff options
| author | coqbot-app[bot] | 2021-02-11 20:06:44 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-11 20:06:44 +0000 |
| commit | b1532790555b122b5bb3091405595b4b5586483e (patch) | |
| tree | 9f82b5e88db2ea93961fccfcdbcf045f82e88791 /doc/plugin_tutorial/tuto2/_CoqProject | |
| parent | 2384c5c9d67ee4484e91bfe9e8e7a49a5e564d1a (diff) | |
| parent | 44c2f05102533e3656f369f2eed16ad2730ef775 (diff) | |
Merge PR #13640: Add ounit2 to with-test dependencies
Reviewed-by: ejgallego
Diffstat (limited to 'doc/plugin_tutorial/tuto2/_CoqProject')
0 files changed, 0 insertions, 0 deletions