From 1005e3c9984bd07841c8ad070d963b52d0b6a3e3 Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Wed, 01 Apr 2020 02:51:42 +0000
Subject: [PATCH] back to disqus, fixed org company symbols
---
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