also upload to MPI server
[web.git] / projects / index.md
2015-10-08 Ralf Jungfix typos and HTML
2015-10-07 Ralf Jungadd CS redirect page; tiny projects page change
2015-10-07 Ralf Jungport projects file to markdown
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...