diff index.html @ 780:17b550310734

Scripts: generate_report.py accepts folder names with spaces - uses package 'grffile'. Minor correction to Instructions (manual emergency saves).
author Brecht De Man <BrechtDeMan@users.noreply.github.com>
date Tue, 08 Dec 2015 17:17:39 +0100
parents e66434e0f573
children 7b522c145516 b7fd0296c6ab
line wrap: on
line diff