comparison src/main/resources/openmind-context.xml @ 158:92c4c9f7312a public_by_author

Merge from HEAD 2522985f44af601a0fb3af90eb9660f2280e1032
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Fri, 20 Oct 2017 16:59:48 +0200
parents d2cee1040062
children
comparison
equal deleted inserted replaced
153:3c83f42a8a39 158:92c4c9f7312a