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