From d990e8f07aee36f68bcd270889d20c2d22b9aa0b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 17 Aug 2016 19:04:35 -0700 Subject: 3219 Trying keeping html in the master branch: https://github.com/blog/2228-simpler-github-pages-publishing Let's see if https://akkartik.github.io/mu updates after I push this commit to just the master branch. --- html/091run_sandboxed.cc.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/091run_sandboxed.cc.html') diff --git a/html/091run_sandboxed.cc.html b/html/091run_sandboxed.cc.html index 375b6beb..cd7cd455 100644 --- a/html/091run_sandboxed.cc.html +++ b/html/091run_sandboxed.cc.html @@ -387,7 +387,7 @@ def main [ string Most_recent_products; :(before "End Setup") Most_recent_products = ""; -:(before "End of Instruction") +:(before "End Running One Instruction") if (Track_most_recent_products) { track_most_recent_products(current_instruction(), products); } -- cgit 1.4.1-2-gfad0