From: jenkins-bot Date: Tue, 10 Sep 2019 16:04:18 +0000 (+0000) Subject: Merge "widget: Improve properties documentation" X-Git-Tag: 1.34.0-rc.0~283 X-Git-Url: http://git.cyclocoop.org/%28%28?a=commitdiff_plain;h=b8211652a8225d561506d6cb13b6d098120a83c8;p=lhc%2Fweb%2Fwiklou.git Merge "widget: Improve properties documentation" --- b8211652a8225d561506d6cb13b6d098120a83c8