sources info for 42dot Sans

(PR #8772)
2025-12-19 17:48:10 -05:00 · 2025-03-31 10:11:03 -03:00
parent b025485e8a
commit da0442cc46
1 changed files with 3 additions and 1 deletions
--- a/ofl/42dotsans/METADATA.pb
+++ b/ofl/42dotsans/METADATA.pb
@@ -23,5 +23,7 @@ axes {
 primary_script: "Kore"
 source {
  repository_url: "https://github.com/42dot/42dot-Sans"
+  commit: "d23e87fe44d5b4f5afaa9dca9d5926d7c414d625"
  branch: "main"
-}
+  config_yaml: "sources/config_variable.yaml"
+}