publish internship-ending
[web.git] / personal / _posts / 2017-05-23-internship-starting.md
index 7a4eea0ad05d0b6a8a76327e8032b01d880aeac1..c8a7252ec018c3c7bd6d1ff27bbc4336b2a1ff3e 100644 (file)
@@ -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
 ---
 
 categories: internship rust
 ---