diff options
Diffstat (limited to 'parsing/.cvsignore')
| -rw-r--r-- | parsing/.cvsignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/.cvsignore b/parsing/.cvsignore index 87551eece0..7d96a5222d 100644 --- a/parsing/.cvsignore +++ b/parsing/.cvsignore @@ -1,2 +1,4 @@ lexer.ml *.ppo +pcoq.ml +extend.ml |