From 9a81d7460fdb16f4e77712e5381d9db8781f5ae6 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 22 Oct 2016 16:56:07 -0700 Subject: 3561 --- html/014literal_string.cc.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/014literal_string.cc.html') diff --git a/html/014literal_string.cc.html b/html/014literal_string.cc.html index db095813..89329b1c 100644 --- a/html/014literal_string.cc.html +++ b/html/014literal_string.cc.html @@ -38,7 +38,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color //: //: Instead of quotes, we'll use [] to delimit strings. That'll reduce the //: need for escaping since we can support nested brackets. And we can also -//: imagine that 'recipe' might one day itself be defined in mu, doing its own +//: imagine that 'recipe' might one day itself be defined in Mu, doing its own //: parsing. :(scenarios load) -- cgit 1.4.1-2-gfad0