From 5fe060d582d4a82444243a28b18085c971a85628 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Fri, 27 Jul 2018 17:07:52 -0700 Subject: 4447 --- html/filesystem.mu.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'html/filesystem.mu.html') diff --git a/html/filesystem.mu.html b/html/filesystem.mu.html index 56ea3e96..1afa7712 100644 --- a/html/filesystem.mu.html +++ b/html/filesystem.mu.html @@ -15,9 +15,9 @@ body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color a { color:#eeeeee; text-decoration: none; } a:hover { text-decoration: underline; } * { font-size: 12pt; font-size: 1em; } +.Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .Special { color: #c00000; } -.Delimiter { color: #800080; } .Comment { color: #9090ff; } .Comment a { color:#0000ee; text-decoration:underline; } .Constant { color: #00a0a0; } @@ -64,8 +64,8 @@ if ('onhashchange' in window) { 5 6 def main [ 7 local-scope - 8 source-file:&:source:char <- start-reading 0/real-filesystem, [/tmp/mu-x] - 9 sink-file:&:sink:char, write-routine:num <- start-writing 0/real-filesystem, [/tmp/mu-y] + 8 source-file:&:source:char <- start-reading null/real-filesystem, [/tmp/mu-x] + 9 sink-file:&:sink:char, write-routine:num <- start-writing null/real-filesystem, [/tmp/mu-y] 10 { 11 c:char, done?:bool, source-file <- read source-file 12 break-if done? -- cgit 1.4.1-2-gfad0