diff options
author | Turiiya <34311583+tobealive@users.noreply.github.com> | 2023-04-22 21:38:47 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2023-04-22 21:38:47 +0100 |
commit | 80406c26188219f3773b2e9c49160caeeb386ee2 (patch) | |
tree | a9444688887fecf0d257649055337e2a3a940829 /.github | |
parent | b67ba03d3ef2e6c5f207d508e85fc6906f938028 (diff) |
patch 9.0.1478: filetypes for *.v files not detected properlyv9.0.1478
Problem: Filetypes for *.v files not detected properly.
Solution: Use the file contents to detect the filetype. (Turiiya,
closes #12281)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions