diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-07-20 13:14:38 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-07-20 13:14:38 +0200 |
commit | 945d7bfa27b71137d86a4a46aeeced90d4b59303 (patch) | |
tree | 438561788f99b0896eb905aeaf19b93e6687c3a5 /test-suite/coq-makefile/timing/before/_CoqProject | |
parent | 4d4ec6a095d01b6117ac3682d8a7882b1a2520e7 (diff) | |
parent | d074e889b3cdfe8c292d3c52a4ed005789384fc0 (diff) |
Merge branch 'v8.7'
Diffstat (limited to 'test-suite/coq-makefile/timing/before/_CoqProject')
-rw-r--r-- | test-suite/coq-makefile/timing/before/_CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test-suite/coq-makefile/timing/before/_CoqProject b/test-suite/coq-makefile/timing/before/_CoqProject new file mode 100644 index 000000000..36c3a18c2 --- /dev/null +++ b/test-suite/coq-makefile/timing/before/_CoqProject @@ -0,0 +1,2 @@ +Slow.v +Fast.v |