aboutsummaryrefslogtreecommitdiff
path: root/inst
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-10-14 15:24:43 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2016-10-14 15:24:43 +0200
commite85f61000c139492ec6497aa3c6206a66b54d783 (patch)
tree7b008b9c1e7a212f1b05502af00c5b75f7c1f013 /inst
parent6cfe5fbd827ca37f24134e8356e8144520ee1265 (diff)
Better handling of ambiguous names and "source"s
Diffstat (limited to 'inst')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint