projects / web.git / history
| 2015-10-08 | Ralf Jung | add my research page; make its links absolute; tune... | blob | commitdiff | raw |
| 2015-10-08 | Ralf Jung | develop a new style | blob | commitdiff | raw | diff to current |
| 2015-10-07 | Ralf Jung | generate readme pages through a plugin | blob | commitdiff | raw | diff to current |
| 2015-10-07 | Ralf Jung | use the Jekyll pages information to create the menu | 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 |