projects / web.git / history
| 2015-10-09 | Ralf Jung | prepare for having two sites: personal and research | blob | commitdiff | raw |
| 2015-10-08 | Ralf Jung | fix typos and HTML | blob | commitdiff | raw |
| 2015-10-07 | Ralf Jung | add CS redirect page; tiny projects page change | blob | commitdiff | raw | diff to current |
| 2015-10-07 | Ralf Jung | port projects file to markdown | blob | commitdiff | raw | diff to current |
| 2015-10-06 | Ralf Jung | try harder not to have spaces in the menu; fix project... | blob | commitdiff | raw | diff to current |
| 2015-10-06 | Ralf Jung | compute the menu recursively; put it between title... | blob | commitdiff | raw | diff to current |