-
Guillaume Melquiond authored
- Broken copy of image files. - Broken copy of proof files if run from outside the session directory. - Broken creation of directories inside the session directory. - Silent incompatibility between some options.
b63a3d60