rename :-)

2014-10-02 11:42:44 +02:00 · 2014-10-02 11:42:44 +02:00 · 18548cd78e
commit 18548cd78e
parent c10a12e01f
2 changed files with 2 additions and 2 deletions
--- a/.gitignore
+++ b/.gitignore
@ -7,5 +7,5 @@
 .#*
 #*#
 *.~
-.*~
+*.*~
-programming/*.pdf
+programming/lectures/*.pdf
--- a/programming/lectures/programming_basics.tex
+++ b/programming/lectures/programming_basics.tex