diff options
Diffstat (limited to 'coq/ex/test-cases/README')
| -rw-r--r-- | coq/ex/test-cases/README | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/coq/ex/test-cases/README b/coq/ex/test-cases/README index 3943793a..7d91b29f 100644 --- a/coq/ex/test-cases/README +++ b/coq/ex/test-cases/README @@ -12,11 +12,9 @@ add-load-path-unsupported multiple-files-multiple-dir working with multiple files in a multiple directories - (triggers known bugs) multiple-files-single-dir working with multiple files in a single directory - (triggers known bugs) require-string test Require "x.vo" |