projects / web.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
the ground-up paper got published
[web.git] / personal / index.html
2018-12-02 Ralf Jungadd lang attributes blob | commitdiff | raw
2018-05-11 Ralf Junglink to ansible blob | commitdiff | raw | diff to current
2017-06-11 Ralf Jungfix rendered email address blob | commitdiff | raw | diff to current
2016-05-11 Ralf Jungmail address visible; new git link blob | commitdiff | raw | diff to current
2015-10-09 Ralf Jungmake a research page happen blob | commitdiff | raw | diff to current
2015-10-09 Ralf Jungprepare for having two sites: personal and research blob | commitdiff | raw | diff to current
sources for my website