diff options
| author | David Peter <sharkdp@users.noreply.github.com> | 2021-05-12 22:33:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-12 22:33:50 +0200 |
| commit | d4df0b4405ae3853463daa0a60fce82a0342fc84 (patch) | |
| tree | 28869a9c1e47b820502a17b0fa8232e063a967f9 | |
| parent | 2904f24ea803ce3fd51cb4080949c8d53e14d06e (diff) | |
| parent | a30e3c9066bb59af023f5a989f46b5b1bad2881c (diff) | |
Merge pull request #1645 from sharkdp/dependabot/submodules/assets/syntaxes/02_Extra/FSharp-9e4645c
| m--------- | assets/syntaxes/02_Extra/FSharp | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/assets/syntaxes/02_Extra/FSharp b/assets/syntaxes/02_Extra/FSharp -Subproject c18616d6bd55b188672276da837837070170d96 +Subproject 9e4645c6085871d6fe4ae8dbcbafe93cb155b07 |