From e7c411ec776c53856e66a37357735516f25e22d7 Mon Sep 17 00:00:00 2001
From: Knyffen <knyffen@gmail.com>
Date: Fri, 27 Oct 2023 10:12:00 +0200
Subject: [PATCH] Minor changes

---
 init.vim               | 3 ++-
 install_configfiles.sh | 0
 2 files changed, 2 insertions(+), 1 deletion(-)
 mode change 100755 => 100644 install_configfiles.sh

diff --git a/init.vim b/init.vim
index 2e3ff43..5c1e24e 100644
--- a/init.vim
+++ b/init.vim
@@ -961,6 +961,7 @@ augroup END
         \         "\\lc": "\\operatorname*{lc}",
         \         "\\quo": "\\operatorname*{quo}",
         \         "\\rem": "\\operatorname*{rem}",
+        \         "\\conv": "\\operatorname*{conv}",
         \     },
         \ },
         \ 'uml': {},
@@ -1049,7 +1050,7 @@ augroup END
 
 " Julia {{
     augroup julia
-        au FileType julia nnoremap <buffer> <Leader>ll :w <CR> :!julia %:p<CR>
+        au FileType julia nnoremap <buffer> <Leader>ll :w <CR> :!time julia %:p<CR>
     augroup END
 " }}
 
diff --git a/install_configfiles.sh b/install_configfiles.sh
old mode 100755
new mode 100644