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 | |
parent | b0e52bbbc52691343b3fab927b20c1f512f59976 (diff) |
adding a test-suite file 4709.v (thanks to the new command Extraction TestCompile)
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions