diff options
Diffstat (limited to 'coq/ex')
-rw-r--r-- | coq/ex/test-cases/README | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/coq/ex/test-cases/README b/coq/ex/test-cases/README index d719e333..00917b7f 100644 --- a/coq/ex/test-cases/README +++ b/coq/ex/test-cases/README @@ -12,7 +12,6 @@ add-load-path-unsupported change-ancestor assert something just added to an completely locked ancestor - (triggers known bugs) multiple-files-multiple-dir working with multiple files in multiple directories |