From 5a75e4272b27528a4ab0e83e2e3bb4cb31b6960a Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Sat, 11 Jul 2020 07:18:11 +0000
Subject: [PATCH] added rss feeds and async export
---
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