From b4d5b58959f9d416976910609f46733ee91bacb0 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 9 Oct 2016 00:24:24 -0700 Subject: 3491 Update the html, proving that commit 3490 worked. The only changes are from other recent commits. --- html/edit/002-typing.mu.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/edit/002-typing.mu.html') diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html index 8dd0fd48..256f1805 100644 --- a/html/edit/002-typing.mu.html +++ b/html/edit/002-typing.mu.html @@ -310,7 +310,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color row:num, column:num <- render screen, editor clear-line-until screen, right row <- add row, 1 - draw-horizontal screen, row, left, right, 9548/horizontal-dashed + draw-horizontal screen, row, left, right, 9480/horizontal-dotted row <- add row, 1 clear-screen-from screen, row, left, left, right ] -- cgit 1.4.1-2-gfad0