Przeglądaj źródła

Move ignored items

JoostSijm 7 lat temu
rodzic
commit
309391fc50
2 zmienionych plików z 2 dodań i 2 usunięć
  1. 0 2
      .gitignore
  2. 2 0
      docs/.gitignore

+ 0 - 2
.gitignore

@@ -31,5 +31,3 @@ master.pdf
 master.png
 
 paperconfig.tex
-docs/news.tex
-docs/short_news.tex

+ 2 - 0
docs/.gitignore

@@ -0,0 +1,2 @@
+news.tex
+short_news.tex