two space indentation is used

2019-09-23 17:03:10 +01:00 · 2019-09-23 17:03:10 +01:00 · 51779eaf42
parent 93633f354a
commit 51779eaf42
1 changed files with 1 additions and 1 deletions
--- a/01-the-very-basics/hello-world.mps
+++ b/01-the-very-basics/hello-world.mps
@ -1 +1 @@
- write "Hello world",!
+  write "Hello world",!