From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 7 Jan 2016 14:09:40 +0000 (+0100)
Subject: add build.bat
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7c70eec6d9fd299cbff454375c4fba1ec13689ee;p=des2015.git

add build.bat
---

diff --git a/marsrover/document/.gitignore b/marsrover/document/.gitignore
index f82a0ab..7f2a2b0 100644
--- a/marsrover/document/.gitignore
+++ b/marsrover/document/.gitignore
@@ -147,3 +147,4 @@ pythontex-files-*/
 *.fff
 
 *.xyc
+*.bat