diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-07-26 19:38:57 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-07-26 19:53:58 +0200 |
| commit | dc38423a70e63206f8c4127182d3f2d703025a0d (patch) | |
| tree | 5a22094fd1957dfd6bf0d14749e29482197acd69 /plugins/extraction | |
| parent | b0e52bbbc52691343b3fab927b20c1f512f59976 (diff) | |
adding a test-suite file 4709.v (thanks to the new command Extraction TestCompile)
Diffstat (limited to 'plugins/extraction')
0 files changed, 0 insertions, 0 deletions