Merge remote-tracking branch 'xin/doc_update'
commit8461081167380331ba8ed9b64eae53a7ae17981c
authorintrigeri <intrigeri@boum.org>
Tue, 5 Feb 2019 19:14:14 +0000 (5 19:14 +0000)
committerintrigeri <intrigeri@boum.org>
Tue, 5 Feb 2019 19:14:14 +0000 (5 19:14 +0000)
tree29d91998a02ff470d1eadfe29a83baaddf2a7c19
parente9360e2d017931ab268f0d2549c16753bad59e98
parentffc43f287a4018825d4519367b1056c0903e7181
Merge remote-tracking branch 'xin/doc_update'