]> gitweb.factorcode.org Git - factor.git/commit
misc/vim: Prevent CHAR: ; from ending : definitions
authorGiftpflanze <gifti@tools.wmflabs.org>
Wed, 31 May 2023 01:18:51 +0000 (03:18 +0200)
committerGiftpflanze <gifti@tools.wmflabs.org>
Wed, 31 May 2023 01:18:51 +0000 (03:18 +0200)
commit1855d7a2658e34eb0bd8f01e173ca0d2bbd2c35d
treea4851f6a1f9c4e9ccd0d477adf6e8858c48413dc
parent716b03138799e9a5be87d9f376ad7ab877e21023
misc/vim: Prevent CHAR: ; from ending : definitions
misc/vim/syntax/factor.vim