2024-11-25 | Ralf Jung | personal website: delete stale files | blob | commitdiff | raw |
2018-11-21 | Ralf Jung | fix tracking generated HTML files | blob | commitdiff | raw | diff to current |
2018-11-21 | Ralf Jung | track HTML changes in git | blob | commitdiff | raw | diff to current |
2018-05-10 | Ralf Jung | update links in LEtiny post | blob | commitdiff | raw | diff to current |
2015-10-09 | Ralf Jung | more uniformity for blog post headers; change link... | blob | commitdiff | raw | diff to current |
2015-10-09 | Ralf Jung | prepare for having two sites: personal and research | blob | commitdiff | raw | diff to current |