From: jenkins-bot Date: Wed, 11 Nov 2015 17:11:22 +0000 (+0000) Subject: Merge "Make TitleInputWidget configurable, if term should be highlighted or not" X-Git-Tag: 1.31.0-rc.0~9012 X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/pie.php?a=commitdiff_plain;h=0afd118fa86dd4e66a56168816744346e60e66b7;p=lhc%2Fweb%2Fwiklou.git Merge "Make TitleInputWidget configurable, if term should be highlighted or not" --- 0afd118fa86dd4e66a56168816744346e60e66b7