git.ralfj.de Git - web.git/commit

blog: Assume we will never have a non-empty baseurl

This is just getting too annoying every time I link to another post

18 files changed:

personal/_posts/2016-01-09-the-scope-of-unsafe.md		diff \| blob \| history
personal/_posts/2017-01-20-paris-rust-meetup.md		diff \| blob \| history
personal/_posts/2017-05-23-internship-starting.md		diff \| blob \| history
personal/_posts/2017-06-06-MIR-semantics.md		diff \| blob \| history
personal/_posts/2017-06-09-mutexguard-sync.md		diff \| blob \| history
personal/_posts/2017-07-08-rustbelt.md		diff \| blob \| history
personal/_posts/2017-07-14-undefined-behavior.md		diff \| blob \| history
personal/_posts/2017-07-17-types-as-contracts.md		diff \| blob \| history
personal/_posts/2017-08-11-types-as-contracts-evaluation.md		diff \| blob \| history
personal/_posts/2017-08-12-internship-ending.md		diff \| blob \| history
personal/_posts/2017-12-15-people-of-pl-interview.md		diff \| blob \| history
personal/_posts/2018-01-31-sharing-for-a-lifetime.md		diff \| blob \| history
personal/_posts/2018-04-05-a-formal-look-at-pinning.md		diff \| blob \| history
personal/_posts/2018-04-10-safe-intrusive-collections-with-pinning.md		diff \| blob \| history
personal/_posts/2018-05-28-cloudless-contact-sync.md		diff \| blob \| history
personal/_posts/2018-07-11-research-assistant.md		diff \| blob \| history
personal/_posts/2018-07-13-arc-synchronization.md		diff \| blob \| history
personal/_posts/2018-07-24-pointers-and-bytes.md		diff \| blob \| history

sources for my website