diff --git a/.gitignore b/.gitignore index ae72a30706c3fe9bf7fb5e1379d9e54c97f1d9ae..29abca7f6403ed0e5bbc643d7a861c94db062c77 100644 --- a/.gitignore +++ b/.gitignore @@ -1,9 +1,9 @@ dumps/ out/ -data/ +data wkt-??/ tmp/ -html/ +html @* *.swp *.tys