diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 16:56:07 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 16:56:07 -0700 |
commit | 9a81d7460fdb16f4e77712e5381d9db8781f5ae6 (patch) | |
tree | 43b05169535fe33e65ecbf61f3fb3ada5f75ed52 /html/edit/001-editor.mu.html | |
parent | 22f4b76344b2d639cbfcaad56ed681670d436548 (diff) | |
download | mu-9a81d7460fdb16f4e77712e5381d9db8781f5ae6.tar.gz |
3561
Diffstat (limited to 'html/edit/001-editor.mu.html')
-rw-r--r-- | html/edit/001-editor.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html index 2f07e8eb..b6ba98e8 100644 --- a/html/edit/001-editor.mu.html +++ b/html/edit/001-editor.mu.html @@ -399,7 +399,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] ] -<span class="Comment"># just a little color for mu code</span> +<span class="Comment"># just a little color for Mu code</span> <span class="muScenario">scenario</span> render-colors-comments [ <span class="Constant">local-scope</span> |