projects / web.git / history
| 2024-11-25 | Ralf Jung | personal website: delete stale files | blob | commitdiff | raw |
| 2024-11-25 | Ralf Jung | research: delete 'other' files | blob | commitdiff | raw | diff to current |
| 2022-07-03 | Ralf Jung | research page moved to new location | blob | commitdiff | raw | diff to current |
| 2021-09-16 | Ralf Jung | move research website to my server | blob | commitdiff | raw | diff to current |
| 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 |
| 2015-10-09 | Ralf Jung | make a research page happen | blob | commitdiff | raw | diff to current |