chore: add comment

aquint-zama · Mar 18, 2024 · 145252b · 145252b
1 parent 13586f5
commit 145252b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/void-extension.py b/src/void-extension.py
@@ -1 +1,2 @@
+# oups forgot to add a meaningful comment here
 print("More void")