From d990e8f07aee36f68bcd270889d20c2d22b9aa0b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 17 Aug 2016 19:04:35 -0700 Subject: 3219 Trying keeping html in the master branch: https://github.com/blog/2228-simpler-github-pages-publishing Let's see if https://akkartik.github.io/mu updates after I push this commit to just the master branch. --- html/screen.mu.html | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'html/screen.mu.html') diff --git a/html/screen.mu.html b/html/screen.mu.html index 0152db56..b178a778 100644 --- a/html/screen.mu.html +++ b/html/screen.mu.html @@ -29,10 +29,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color

 # example program: managing the display using 'screen' objects
-#
+
 # The zero screen below means 'use the real screen'. Tests can also use fake
 # screens.
-
 def main [
   open-console
   10:character <- copy 97/a
-- 
cgit 1.4.1-2-gfad0