aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-10-16 09:22:17 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-10-16 09:22:17 +0200
commit520cd0fcea385454460b3958ce864828f0ae6542 (patch)
tree82445a182a438e02ceb423af1478dd15d8f87687 /man
parent1c1106777a98119cf29c05c3f6e0de7077eb19b5 (diff)
Prevent loading of incompatible workspace files from previous version
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint