log docs/Instructions/Instructions.tex @ 2273:ad2e070c92e5

age author description
Wed, 20 Apr 2016 19:07:03 +0200 Brecht De Man Weird merge error fix