diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-07-31 10:38:36 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-07-31 10:38:36 -0700 |
| commit | ebdeddb9b93772574460f19bed9fe43d242d8f16 (patch) | |
| tree | caf99bc5026efc34756c7f580abf8aa0d02e261b /Documentation/user-manual.txt | |
| parent | 4cb80986fcb89392db9137938448ac9ec41a2b25 (diff) | |
| download | subsurface-ebdeddb9b93772574460f19bed9fe43d242d8f16.tar.gz | |
When exporting to XML and no extension given, default to .ssrf
See #646
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual.txt')
0 files changed, 0 insertions, 0 deletions