zettacode.files/hello_world.text/lean.txt in zettacode-0.1.0 vs zettacode.files/hello_world.text/lean.txt in zettacode-0.1.1

@@ -1,3 +1,3 @@
 
-# "H !"
+#eval "Hello world!"