diff save.php @ 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 2647dd909229 b5bf2f57187c 9ee921c8cdd3
line wrap: on
line diff