]> git.ralfj.de Git - web.git/history - _layouts/page.html
add Miri paper
[web.git] / _layouts / page.html
2015-10-09 Ralf Jungprepare for having two sites: personal and research
2015-10-08 Ralf Jungtuning, tuning, tuning the spaces...
2015-10-08 Ralf Jungmake the page layout general enough to cover posts...
2015-10-08 Ralf Jungmake the new style also work for blog posts