diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-10-26 16:29:05 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-10-26 16:34:13 +0100 |
| commit | bfed465b49c693cc04958b8eeb0d5fc50a8b5d35 (patch) | |
| tree | b2dfcadf8b8df30d5d8c191190609e158cebbe17 /vignettes/gmkin_manual.html | |
| parent | 93dec73e57b5aa3dcce93c5147a6238f42ed6e51 (diff) | |
Make explorer tables resizable and the projects explorer minimizable
Diffstat (limited to 'vignettes/gmkin_manual.html')
0 files changed, 0 insertions, 0 deletions