rare file weggehaald
authorMart Lubbers <mart@martlubbers.net>
Thu, 8 May 2014 08:51:14 +0000 (10:51 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 8 May 2014 08:51:14 +0000 (10:51 +0200)
commit4c83b567aae432d436097d4cb9dda3d06ec7c42a
treefe6ba1b6c798ac1c6617331d5c345d350875f88a
parentaba658745c9eef4c030683bfde322bacc08d05d4
rare file weggehaald
.gitignore
project.synctex.gz [deleted file]