aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-10-26 16:29:05 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2015-10-26 16:34:13 +0100
commitbfed465b49c693cc04958b8eeb0d5fc50a8b5d35 (patch)
treeb2dfcadf8b8df30d5d8c191190609e158cebbe17 /GNUmakefile
parent93dec73e57b5aa3dcce93c5147a6238f42ed6e51 (diff)
Make explorer tables resizable and the projects explorer minimizable
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint