1base   docnavigation
2author Gerrit Uitslag
3email  klapinklapin@gmail.com
4date   2019-09-05
5name   DocNavigation plugin
6desc   Add navigation for documentation
7url    https://www.dokuwiki.org/plugin:docnavigation
8