repositories / des2015.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 844ff9a)
add build.bat
authorMart Lubbers <mart@martlubbers.net>
Thu, 7 Jan 2016 14:09:40 +0000 (15:09 +0100)
committerMart Lubbers <mart@martlubbers.net>
Thu, 7 Jan 2016 14:09:40 +0000 (15:09 +0100)
marsrover/document/.gitignore patch | blob | history

diff --git a/marsrover/document/.gitignore b/marsrover/document/.gitignore
index f82a0ab..7f2a2b0 100644 (file)
--- a/marsrover/document/.gitignore
+++ b/marsrover/document/.gitignore
@@ -147,3 +147,4 @@ pythontex-files-*/
 *.fff
 
 *.xyc
+*.bat
Unnamed repository; edit this file 'description' to name the repository.