Gregory Anders
|
6a4ea471d2
|
patch 9.1.0396: filetype: jj files are not recognized
Problem: jj files are not recognized
Solution: recognize '*.jjdescription' files as jj filetype
(Gregory Anders)
See: https://github.com/martinvonz/jj
closes: #14733
Signed-off-by: Gregory Anders <greg@gpanders.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
|
2024-05-08 20:17:43 +02:00 |
|