3 Commits

Include renames

Author	SHA1	Message	Date
Robert Schmidt	030e11ba9a	Merge branch 'develop' into feature-127-protocol-split	2019-02-21 20:18:35 +01:00
Francois TABURET	884d4b631d	fix broken link	2018-11-19 11:34:38 +01:00
frtabu	682be3e2b4	completing logging facility doc	2018-11-19 11:27:43 +01:00