add two recently submitted papers

[web.git] / ralf / _posts / 2017-05-23-internship-starting.md

diff --git a/ralf/_posts/2017-05-23-internship-starting.md b/ralf/_posts/2017-05-23-internship-starting.md
index 7a4eea0ad05d0b6a8a76327e8032b01d880aeac1..c8a7252ec018c3c7bd6d1ff27bbc4336b2a1ff3e 100644 (file)
--- a/ralf/_posts/2017-05-23-internship-starting.md
+++ b/ralf/_posts/2017-05-23-internship-starting.md
@@ -1,5 +1,5 @@
 ---
-title: Day 1 of My Mozilla Internship
+title: "Day 1 of My Mozilla Internship, or: How to Specify Program Behavior?"
 categories: internship rust
 ---