Merge pull request #726 from leocardao/mr/cardao/ignore-comment-file

Add 'comment' file to list of file to ignore
AdaCore · May 31, 2024 · 5a47569 · 5a47569
2 parents 542e641 + 68bfe36
commit 5a47569
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/e3/fs.py b/src/e3/fs.py
@@ -559,6 +559,7 @@ def splitall(path: str) -> tuple[str, ...]:
     ".gitlab-ci.yml",
     ".vscode",
     ".github",
+    "comment",
 )