From 4634aede2ac4ad03007c0c66bdad8e85215789bd Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 9 May 2012 08:12:39 +0000 Subject: fix typo + add one missing cvsignore --- coq/ex/test-cases/change-ancestor/.cvsignore | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 coq/ex/test-cases/change-ancestor/.cvsignore (limited to 'coq/ex') diff --git a/coq/ex/test-cases/change-ancestor/.cvsignore b/coq/ex/test-cases/change-ancestor/.cvsignore new file mode 100644 index 00000000..e940bcb4 --- /dev/null +++ b/coq/ex/test-cases/change-ancestor/.cvsignore @@ -0,0 +1,2 @@ +*.glob +*.vo -- cgit v1.2.3