From 008ff3d97252ce889f425f58c6f1d1ec2c09f6ce Mon Sep 17 00:00:00 2001
From: 9e4d1dda5ec09a0a5f5694314c6b3f7b
 <9e4d1dda5ec09a0a5f5694314c6b3f7b@app-learninglab.inria.fr>
Date: Tue, 15 Nov 2022 18:40:56 +0000
Subject: [PATCH] Add new file

---
 work | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 work

diff --git a/work b/work
new file mode 100644
index 0000000..a340c10
--- /dev/null
+++ b/work
@@ -0,0 +1 @@
+work
\ No newline at end of file
-- 
2.18.1