From 2cdead8744b5e45f1c71bb7bb1bfd91d8b23d6b5 Mon Sep 17 00:00:00 2001
From: Silvus <s8bnpete@stud.uni-saarland.de>
Date: Fri, 26 Aug 2022 19:00:25 +0200
Subject: [PATCH] renamed configuration file
---
docs/editor.md | 2 +-
docs/{coq_latex.snippets => vim_ultisnips} | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename docs/{coq_latex.snippets => vim_ultisnips} (100%)
diff --git a/docs/editor.md b/docs/editor.md
index b4f8ac2d8..993997cbb 100644
--- a/docs/editor.md
+++ b/docs/editor.md
@@ -698,4 +698,4 @@ let g:UltiSnipsExpandTrigger="<c-l>"
```
To insert a unicode character, type its trigger word, such as `\forall` or `->`, and then press `<c-l>` while still in insert mode.
-To register most common unicode characters, put [this file](/docs/coq_latex.snippets) either at `~/.vim/UltiSnips/coq_latex.snippets` or `~/.config/nvim/UltiSnips/coq_latex.snippets`, depending on your preferred variant of Vim.
+To register most common unicode characters, put [this file](/docs/vim_ultisnips) either at `~/.vim/UltiSnips/coq_unicode.snippets` or `~/.config/nvim/UltiSnips/coq_unicode.snippets`, depending on your preferred variant of Vim.
diff --git a/docs/coq_latex.snippets b/docs/vim_ultisnips
similarity index 100%
rename from docs/coq_latex.snippets
rename to docs/vim_ultisnips
--
GitLab