diff options
| author | Lasse Blaauwbroek | 2020-12-16 09:38:03 +0100 |
|---|---|---|
| committer | Lasse Blaauwbroek | 2020-12-16 09:38:03 +0100 |
| commit | 44c2f05102533e3656f369f2eed16ad2730ef775 (patch) | |
| tree | e9fd8191c2aa4af01e8f462bab1be92f6bd6bc50 /doc/plugin_tutorial/tuto3/_CoqProject | |
| parent | 1c400a19aeb70842453f83a26f5abafc59901242 (diff) | |
Add ounit2 to with-test dependencies
Diffstat (limited to 'doc/plugin_tutorial/tuto3/_CoqProject')
0 files changed, 0 insertions, 0 deletions