]> git.ralfj.de Git - web.git/history - _plugins/menu.rb
add Miri paper
[web.git] / _plugins / menu.rb
2015-10-09 Ralf Jungprepare for having two sites: personal and research
2015-10-08 Ralf Jungdevelop a new style
2015-10-08 Ralf Jungprepare things for a blog
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