diff --git a/.gitignore b/.gitignore index 73caf251a4a5c55bf4af42a11606350a4bca7904..6ba9fa58a5f656f8f4a3093622d8ea4a9b739bcb 100644 --- a/.gitignore +++ b/.gitignore @@ -10,3 +10,4 @@ dfa/bench/ *.pdf *.tex /dfa/bench +/wta/bench