diff save.php @ 1417:3c67469e315a

Scripts: generate_report.py accepts folder names with spaces - uses package 'grffile'. Minor correction to Instructions (manual emergency saves).
author Brecht De Man <b.deman@qmul.ac.uk>
date Tue, 08 Dec 2015 17:17:39 +0100
parents 1de4c0257fa4
children 2647dd909229 b5bf2f57187c 9ee921c8cdd3
line wrap: on
line diff