diff options
| author | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2018-11-10 17:34:57 +0100 |
|---|---|---|
| committer | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2018-11-10 17:34:57 +0100 |
| commit | a680d3fdbb637fae53c60e4a30f028bd5ed1fe4b (patch) | |
| tree | 13924120203847ba691cd28416013db522d681e1 /include | |
| parent | 7d6e460d9373bc8614b7e33da5b720503d803cb5 (diff) | |
Fix to list/save into file specified by option
list/save into file given by "-f filename" did not work in 7.0,
reported by Isaac Good.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions
