diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2013-11-13 22:09:41 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2013-11-13 22:09:41 +0100 |
| commit | d8dbf2ad866fb9d34cd1100000b9c116219ecef6 (patch) | |
| tree | eaf5c9a1d334472e9a862da22ce76a15f12fc3eb /man | |
| parent | 8f1bae2142b37a0ff6b8989b2d1569686937f68e (diff) | |
Add possibility to control more mkinfit arguments from the GUI
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions