diff options
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> |