add a link to the edit history of a post
[web.git] / personal / _posts / 2018-01-31-sharing-for-a-lifetime.md
2018-07-25 Ralf Jungblog: Assume we will never have a non-empty baseurl
2018-02-04 Ralf Jungfix subtyping typo
2018-01-31 Ralf Junguse borrowing terminology in invariants; typos
2018-01-31 Ralf Junglink to forum
2018-01-31 Ralf JungNew post: Sharing for a lifetime