tune the new blog post; use longer dashes
[web.git] / ralf / _posts /
drwxr-xr-x   ..
-rw-r--r-- 421 2015-10-08-welcome.md
-rw-r--r-- 582 2015-10-09-breaking-all-the-way-out.md
-rw-r--r-- 10082 2015-10-12-formalizing-rust.md