]> git.ipfire.org Git - thirdparty/google/fonts.git/commitdiff
projects / thirdparty / google / fonts.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e9c85d0 fc5d0b8)
Merge pull request #6324 from m4rc1e/ci-mod-fonts
authorMarc Foley <m.foley.88@gmail.com>
Tue, 30 May 2023 16:09:51 +0000 (17:09 +0100)
committerGitHub <noreply@github.com>
Tue, 30 May 2023 16:09:51 +0000 (17:09 +0100)
.ci/run.py: add MODIFIED_FONTS token if fonts deleted from family


Trivial merge
Mirror of https://github.com/google/fonts.git