blog post about MIR and miri and semantics and instrumentation

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

diff --git a/personal/_posts/2017-05-23-internship-starting.md b/personal/_posts/2017-05-23-internship-starting.md
index 1b7269be7e2902b7322278a1b24a5214e350d9e9..54361c215b552a04cbb0d272bc5842574635e06f 100644 (file)
--- a/personal/_posts/2017-05-23-internship-starting.md
+++ b/personal/_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

 categories: internship rust
 ---
 
 categories: internship rust
 ---