From 657f70339f3a4420a19d1c9b23681cc6f06af6df Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Sat, 20 Jun 2020 04:07:24 +0000
Subject: [PATCH] Merge remote-tracking branch 'origin/master'
---
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