Add {before,after}-pickling.txt to gitignore

OlivierBlanvillain · OlivierBlanvillain · commit e33dc40915c9 · 2017-02-03T13:51:24.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -53,3 +53,5 @@ build/
 # Put local stuff here
 local/
 
+compiler/before-pickling.txt
+compiler/after-pickling.txt
