chore: remove other unnecessary files

UNICT-DMI · May 9, 2024 · 0e4bcdc · 0e4bcdc
1 parent 4aa49bf
commit 0e4bcdc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 11 deletions.
diff --git a/.gitignore b/.gitignore
@@ -16,4 +16,6 @@
 *.wx64fsl
 *.wx32fsl
 .DS_Store
-.hg
+.hg
+.hgtags
+.flow
diff --git a/fundep/.flow b/fundep/.flow
diff --git a/fundep/.hgtags b/fundep/.hgtags