diff options
author | David Peter <sharkdp@users.noreply.github.com> | 2023-03-01 08:43:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-01 08:43:18 +0100 |
commit | fed4dafb711b5636c690741e76ba2c3955bf4b89 (patch) | |
tree | e8f3c039e91c695fc8c2ea938df354a6c1e1b8d8 /assets/syntaxes/02_Extra | |
parent | f177f7ce6ffe3be023ab67cd73ea672922951c52 (diff) | |
parent | d440cae3ecb4d1bcf524819087cf60992dfaaa55 (diff) |
Merge pull request #2491 from sharkdp/dependabot/submodules/assets/syntaxes/02_Extra/MediaWiki-5dceaa9
Diffstat (limited to 'assets/syntaxes/02_Extra')
m--------- | assets/syntaxes/02_Extra/MediaWiki | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/assets/syntaxes/02_Extra/MediaWiki b/assets/syntaxes/02_Extra/MediaWiki -Subproject 81bf97cace59bedcb1668e7830b85c36e014428 +Subproject 5dceaa9dd9af0d2266f1c9e45966d8a61022621 |