From 51779eaf42580b2eb995d78ebbb65b8c35aff8b3 Mon Sep 17 00:00:00 2001 From: programarivm Date: Mon, 23 Sep 2019 17:03:10 +0100 Subject: [PATCH] two space indentation is used --- 01-the-very-basics/hello-world.mps | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/01-the-very-basics/hello-world.mps b/01-the-very-basics/hello-world.mps index bf9d581..f51ce7e 100644 --- a/01-the-very-basics/hello-world.mps +++ b/01-the-very-basics/hello-world.mps @@ -1 +1 @@ - write "Hello world",! + write "Hello world",!