diff options
author | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2017-04-06 18:28:26 +0200 |
---|---|---|
committer | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2017-04-06 18:28:26 +0200 |
commit | 03783303e0b89a01a310fd9abcdf533da3b738f6 (patch) | |
tree | e4f3ada7a38d72c042b847cb613b024dfc9f5eac /.gitignore | |
parent | 09cc23726069fa04cbfeec55a9fa4bb8e4a02ff9 (diff) | |
download | dotty-03783303e0b89a01a310fd9abcdf533da3b738f6.tar.gz dotty-03783303e0b89a01a310fd9abcdf533da3b738f6.tar.bz2 dotty-03783303e0b89a01a310fd9abcdf533da3b738f6.zip |
Add {before,after}-pickling.txt to gitignore
Diffstat (limited to '.gitignore')
-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 |