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	0f0665e9e7	fix broken link	2018-11-19 11:35:37 +01:00
frtabu	682be3e2b4	completing logging facility doc	2018-11-19 11:27:43 +01:00