Update depctrl feed

TypesettingTools · Jul 25, 2023 · a013eb4 · a013eb4
1 parent 911740f
commit a013eb4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/DependencyControl.json b/DependencyControl.json
@@ -287,7 +287,7 @@
                     ],
                     "files": [
                         {
-                            "sha1": "ebc60bdeabc898d6ad05d49164f80603ff89a3d0",
+                            "sha1": "b14554ed5f4d67e96f720c0d691a6c1fa2d7b492",
                             "url": "@{fileBaseUrl}@{fileName}",
                             "name": ".moon"
                         },