Merge branch 'master' into clean_ii

xdslproject · May 13, 2024 · ad0373f · ad0373f
2 parents 6d280ed + 883ef78
commit ad0373f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -3,6 +3,8 @@
 # Please see the documentation for all configuration options:
 # https://help.github.com/github/administering-a-repository/configuration-options-for-dependency-updates
 
+# For Devito-xdsl fork
+
 version: 2
 updates:
   - package-ecosystem: "pip" # See documentation for possible values