]> gitweb.factorcode.org Git - factor.git/commit
misc/vim: Add EBNF: and EDITOR:
authorGiftpflanze <gifti@tools.wmflabs.org>
Mon, 22 May 2023 22:48:44 +0000 (00:48 +0200)
committerGiftpflanze <gifti@tools.wmflabs.org>
Mon, 22 May 2023 22:48:44 +0000 (00:48 +0200)
commita357cf34fc83fc78448180e7b75b4173269a3ac2
tree7031f931201c557d2a98c478c5f4c5254308266b
parent86e1f3d0954d57967ed4547ad6ee49d1d36df69b
misc/vim: Add EBNF: and EDITOR:

Add syntax highlighting for EBNF: and EDITOR:
Fix indenting for EDITOR:

Fixes #2737
misc/vim/indent/factor.vim
misc/vim/syntax/factor.vim