diff options
| author | Jim Fehrle | 2019-06-20 11:43:45 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2019-06-20 14:04:04 -0700 |
| commit | f00526e12177901b4668b63594800d6022a2878d (patch) | |
| tree | 6b582d92c536416fe207d4283019c86944949ea4 /doc/plugin_tutorial/tuto0/src | |
| parent | 500e386685163b7491e8ff2bb6e2b8885a35756b (diff) | |
Add output-coqtop test directory that runs output tests with coqtop
Diffstat (limited to 'doc/plugin_tutorial/tuto0/src')
0 files changed, 0 insertions, 0 deletions