diff options
author | Tomi Juvonen <tomi.juvonen@nokia.com> | 2018-10-30 12:18:19 +0200 |
---|---|---|
committer | Tomi Juvonen <tomi.juvonen@nokia.com> | 2018-10-30 10:50:04 +0000 |
commit | 99d9f3d695e1890dc00e7f4dd554418cec57584b (patch) | |
tree | 809771129ec611ca65850fe201cffcea55ef41ce /docs | |
parent | aeb3941f7353fee57b42d50163e76fa14db4faf9 (diff) |
fix building docs
Change-Id: Ie9d07f5a039e43f6468cabb41c610fd642e4c825
Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
(cherry picked from commit 5b3f5937e7b861fca46b2a6b2d6708866b800f95)
Diffstat (limited to 'docs')
-rw-r--r-- | docs/index.rst | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/index.rst b/docs/index.rst new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/docs/index.rst |