aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-10-16 11:26:15 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-10-16 11:26:15 +0200
commit171065ff333670747ee8e12ea55b430a6675c373 (patch)
treea50d2bf80ec3d5507c1b82e5d2f9b89939997924 /man
parent27a6c4418ec39c473e02fefa062b1e077553525e (diff)
Fix for the case that a workspace has no fits
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint