fix typos and HTML
[web.git] / _includes / menu-level.html
2015-10-07 Ralf Junggenerate readme pages through a plugin
2015-10-07 Ralf Junguse the Jekyll pages information to create the menu
2015-10-06 Ralf Jungtry harder not to have spaces in the menu; fix project...
2015-10-06 Ralf Jungcompute the menu recursively; put it between title...