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 12:45:28 +0200 |
| commit | 5b3f5937e7b861fca46b2a6b2d6708866b800f95 (patch) | |
| tree | 70457ee2610cd50e55aa606a8783e865f4f1221d /docs | |
| parent | 2ca5924081ce4784f599437707bd32807aa155ce (diff) | |
fix building docs
Change-Id: Ie9d07f5a039e43f6468cabb41c610fd642e4c825
Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
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 |