tree 0501b1a09bbeb6c9bc9cdbf3df56812d441d6f19
parent 995fd6e9bb0368ebbf87f38bd207c4a818443991
author umry8364 <morgan.richomme@orange.com> 1566376994 +0200
committer umry8364 <morgan.richomme@orange.com> 1566376994 +0200

Fix doc nit in Robot section

Issue-ID: DOC-534

Change-Id: Ibd4856a1b75d75fe786c7aa1d5337fa7972387a0
Signed-off-by: umry8364 <morgan.richomme@orange.com>