aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-10-23 07:05:48 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2015-10-23 07:06:33 +0200
commit78b66d0fab2557cd4e0a13244eb371e6d521c9d3 (patch)
tree37d508dd797d6c27ad63541bb2fe9d7c9068faee /man
parentc737c606058cb4c2a0805e2bec8ce356d01a627a (diff)
Remove the current selections from the gmkin workspace
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint