github
diff --git a/‎…xt/generated/option/lang::core.model.yml‎ ‎…t/generated/option/lang__core.model.yaml‎rust/ql/lib/ext/generated/option/lang::core.model.yml renamed to rust/ql/lib/ext/generated/option/lang__core.model.yaml b/‎…xt/generated/option/lang::core.model.yml‎ ‎…t/generated/option/lang__core.model.yaml‎rust/ql/lib/ext/generated/option/lang::core.model.yml renamed to rust/ql/lib/ext/generated/option/lang__core.model.yaml