# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1437469687 -32400
# Node ID f458691edf5d58a9809f8fb91c2a6e108863a7b7
# Parent  f90d32d5d0064cccbf6abf66e1adddba3551e9da
Mini fix

diff -r f90d32d5d006 -r f458691edf5d slides/20150721/slide.md
--- a/slides/20150721/slide.md	Tue Jul 21 17:54:53 2015 +0900
+++ b/slides/20150721/slide.md	Tue Jul 21 18:08:07 2015 +0900
@@ -17,6 +17,7 @@
 
 # 近況報告
 * 進捗だめです
+* オープンキャンパスがありました
 * Principles of Model Checking は chapter 2 まで読みました
 * slideshow-cr に syntax highlighter を追加