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