diff options
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 170cf4823..7508b4932 100644 --- a/.gitignore +++ b/.gitignore @@ -55,3 +55,5 @@ testlogs/ local/ compiler/test/debug/Gen.jar +compiler/before-pickling.txt +compiler/after-pickling.txt |