we use tag 0 so let's not use a NonZero type
[web.git] / personal / _posts / 2017-08-12-internship-ending.md
2018-07-25 Ralf Jungblog: Assume we will never have a non-empty baseurl
2017-08-12 Ralf Jungpublish internship-ending