log docs/Instructions/Instructions.tex @ 1417:3c67469e315a

age author description
Tue, 08 Dec 2015 17:17:39 +0100 Brecht De Man Scripts: generate_report.py accepts folder names with spaces - uses package 'grffile'. Minor correction to Instructions (manual emergency saves). Dev_main