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