From 0b5a779a14b763910696016566a3d123d004fee9 Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Tue, 20 Oct 2020 10:57:29 +0000
Subject: [PATCH] cleaned up config and tried to defer some loading
---
snippets/latex-mode/overline | 8 ++++----
1 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/snippets/latex-mode/overline b/snippets/latex-mode/overline
index 213f7f5..4829a51 100644
--- a/snippets/latex-mode/overline
+++ b/snippets/latex-mode/overline
@@ -1,5 +1,5 @@
-# -*- mode: snippet -*-
-# name: Overline
-# key: ov
-# --
+# -*- mode: snippet -*-
+# name: Overline
+# key: ov
+# --
\overline{$1}$0
\ No newline at end of file
--
Gitblit v1.9.3