diff --git a/.gitignore b/.gitignore index 4f1d230..2efc4cd 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,4 @@ states/ *.dvi *.tex +playground \ No newline at end of file