Update user documentation overview
commit53ea5a030e306ff390b062b5f268dee537aa6f34
authorPaul Bauer <paul.bauer.q@gmail.com>
Fri, 26 Oct 2018 07:17:47 +0000 (26 09:17 +0200)
committerPaul Bauer <paul.bauer.q@gmail.com>
Fri, 26 Oct 2018 07:40:24 +0000 (26 09:40 +0200)
treeca8233fe2bfdbd83bfea7f1e1f3082e0ff628cc3
parent93109ddfa51819c07677cfc1789ecc4eb220cf4e
Update user documentation overview

Change-Id: I433c28907d92b9c722772a0e0cb6f227bcfcc9f3
docs/dev-manual/overview.rst