Ignore .precomp

azawawi · azawawi · commit a406f323a33a · 2016-03-04T07:49:48.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -9,3 +9,4 @@ html/language/
 html/syntax/
 html/images/type-graph*
 html/js/search.js
+.precomp
