diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2024-05-03 11:57:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-03 11:57:39 +0200 |
commit | 7aa67bd9b6dd95c0080c3571a94f764bd252d207 (patch) | |
tree | 05b98338477ef1f3e001c7e09bfaf708d51f70df /.github | |
parent | 1df74cb91c5cec9024e9e349b586984b7f9ebd30 (diff) | |
parent | 1d35c905a8846e249a9e4904f74dbb0b240be101 (diff) |
Merge pull request #308751 from leana8959/update-typstyle
typstyle: 0.11.13 -> 0.11.16
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions