test write git fsaintma

[playground.git] / test_inria

diff --git a/test_inria b/test_inria
new file mode 100644 (file)
index 0000000..9daeafb
--- /dev/null
+++ b/test_inria
@@ -0,0 +1 @@
+test