commit by user ricciott

[helm.git] / weblib / ricciott / test.ma

diff --git a/weblib/ricciott/test.ma b/weblib/ricciott/test.ma
new file mode 100644 (file)
index 0000000..a2a0c86
--- /dev/null
+++ b/weblib/ricciott/test.ma
@@ -0,0 +1,3 @@
+(* new script *)
+
+include "While/syntax.ma".