]> gitweb.factorcode.org Git - factor.git/commit
editors.kate: adding Kate editor integration
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 7 Aug 2022 15:02:42 +0000 (08:02 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 7 Aug 2022 15:02:42 +0000 (08:02 -0700)
commit48bd065e19c341ffd853241a51a5faf9fb776de6
treef96fd707fab55bae6ead8fc45e7c99d39e3819ba
parente00a16898a8d3ba3ad2387d999d025339936ea46
editors.kate: adding Kate editor integration
basis/editors/kate/authors.txt [new file with mode: 0644]
basis/editors/kate/kate.factor [new file with mode: 0644]
basis/editors/kate/summary.txt [new file with mode: 0644]