diff options
| author | jvoisin | 2014-01-17 20:27:58 +0000 |
|---|---|---|
| committer | jvoisin | 2014-01-17 20:27:58 +0000 |
| commit | 9987e610e928885792a0f9eb8025d971b3aeb82f (patch) | |
| tree | 8bb5e9c6d1b61acc1380174de1d1f1ea4fdbb63b /mat-gui | |
| parent | 064d2e80c18cd85bfa6c70306d5d6de5de25eda7 (diff) | |
Document the fact that --add2archive is off by default
Diffstat (limited to 'mat-gui')
0 files changed, 0 insertions, 0 deletions