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

OlivierBlanvillain · OlivierBlanvillain · commit 7080cad8ec38 · 2017-02-03T10:20:33.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
