Matitaweb: Library test.

[helm.git] / weblib / flagtest / prova.ma

diff --git a/weblib/flagtest/prova.ma b/weblib/flagtest/prova.ma
new file mode 100644 (file)
index 0000000..64490b7
--- /dev/null
+++ b/weblib/flagtest/prova.ma
@@ -0,0 +1 @@
+(* script *)
\ No newline at end of file