more careful sorting of the menu; readme generator more failure-resistant; add missin...
[web.git] / _plugins /
2015-10-07 Ralf Jungmore careful sorting of the menu; readme generator...
2015-10-07 Ralf Junggenerate readme pages through a plugin
2015-10-07 Ralf Junguse the Jekyll pages information to create the menu