diff options
| author | Christian | 2018-09-05 06:36:58 -0700 |
|---|---|---|
| committer | jvoisin | 2018-09-05 17:42:13 +0200 |
| commit | e515d907d787e3768828593cf8f9abc70827f5b2 (patch) | |
| tree | 9b4ed019ba9462fd616a90cba9e60753a2b10d3e /doc | |
| parent | 46bb1b83ea0843c25783f86e2033a10aeaed79d2 (diff) | |
Make sure target directory exists, assume MAT2 is in parent directory
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions