diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-10-23 07:05:48 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-10-23 07:06:33 +0200 |
| commit | 78b66d0fab2557cd4e0a13244eb371e6d521c9d3 (patch) | |
| tree | 37d508dd797d6c27ad63541bb2fe9d7c9068faee /vignettes/gmkin_manual.html | |
| parent | c737c606058cb4c2a0805e2bec8ce356d01a627a (diff) | |
Remove the current selections from the gmkin workspace
Diffstat (limited to 'vignettes/gmkin_manual.html')
0 files changed, 0 insertions, 0 deletions