Disable forgejo dump + more

2024-10-17 13:24:26 +02:00 · 2024-10-17 13:24:26 +02:00 · 52ba0b9df2
commit 52ba0b9df2
parent 8fbb994353
5 changed files with 7 additions and 9 deletions
--- a/home/features/neovim/snippets/common/math-phrases.miros
+++ b/home/features/neovim/snippets/common/math-phrases.miros
@ -1,7 +1,7 @@
 block auto !word
  block capitalize
    abbr bcla by contradiction let's assume
-    abbr wlg without loss of generality
+    abbr wlog without loss of generality
    abbr tits that is to say,
    abbr wpbd we will prove the statement in both directions.
    abbr itf it then follows