diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-08-25 18:34:09 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-08-25 18:39:20 +0200 |
| commit | 9983fd9311ea9d6d35fa05478471ab77c9ddb064 (patch) | |
| tree | 4a4d6d87b1870355165c1568ae7ba4e452cd9b04 /GNUmakefile | |
| parent | d413bbeb241423587e62c73ff3d2ea413b622777 (diff) | |
Option to show fitting progress in separate graphics device
Turned off by default as it may be irritating to have another window pop
up
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions