Add 'dots/' from commit '357b97a7692c8d5ec9666d8d7d7c98d81cb51cf0'

git-subtree-dir: dots git-subtree-mainline: 2ad98cde17 git-subtree-split: 357b97a769
2025-10-04 18:28:04 +02:00
parent 2ad98cde17 357b97a769
commit 71725ce35b
232 changed files with 11175 additions and 0 deletions
--- a/dots/.vim/after/syntax/prolog.vim
+++ b/dots/.vim/after/syntax/prolog.vim
@@ -0,0 +1,5 @@
+syn keyword Operator \+ conceal cchar=¬
+syn keyword Operator ,  conceal cchar=∧
+syn keyword Operator ;  conceal cchar=∨
+
+:runtime! syntax/_comment_keywords.vim