web.git
9 years agotry harder not to have spaces in the menu; fix project page title
Ralf Jung [Tue, 6 Oct 2015 21:06:21 +0000 (23:06 +0200)]
try harder not to have spaces in the menu; fix project page title

9 years agocompute the menu recursively; put it between title and content
Ralf Jung [Tue, 6 Oct 2015 21:02:38 +0000 (23:02 +0200)]
compute the menu recursively; put it between title and content

9 years agoa first version of my site proted to jekyll
Ralf Jung [Tue, 6 Oct 2015 19:20:44 +0000 (21:20 +0200)]
a first version of my site proted to jekyll