diff options
Diffstat (limited to 'tools/.cvsignore')
| -rw-r--r-- | tools/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/.cvsignore b/tools/.cvsignore index 4e765a8af0..3d7929d7e3 100644 --- a/tools/.cvsignore +++ b/tools/.cvsignore @@ -4,3 +4,4 @@ coqdep coq_makefile gallina coq-tex +coqwc.ml |