[DOC] Resolved dox doc issue with index docu
Merge pull request #66 from singerj/origin/develop

[DOC] Resolved dox doc issue with index docu
[FIX] Fixing tokenization of subentries in dox.

We left in a space character that did not belong.
Merge pull request #67 from holtgrewe/fix/dox_search_subentries

[FIX] Fixing tokenization of subentries in dox.
Merge pull request #70 from holtgrewe/develop

Version of #69 that can be merged automatically.