tree a75675d08a8224ab1216a1ab5dc4e538442aac3a
parent c8ddf45f2068cb844eb9daf1971322123e291869
author Marc Kupietz <kupietz@ids-mannheim.de> 1515516781 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1515516781 +0100

collocatordb: distinguished read_only_access