diff options
author | Andreas Maunz <andreas@maunz.de> | 2012-05-21 17:10:32 +0200 |
---|---|---|
committer | Andreas Maunz <andreas@maunz.de> | 2012-05-21 17:10:32 +0200 |
commit | 8251006efcd4a2cd739fab4f5912b379870db3ad (patch) | |
tree | 7efa161821976da761d5f6fbca544706e3dffab6 /_posts/2012-05-18-using-vim.md | |
parent | 10670d668f1ec7aacb6dcbc1df6ddfa862b5be94 (diff) |
Removed unnecessary compile rule
Diffstat (limited to '_posts/2012-05-18-using-vim.md')
-rw-r--r-- | _posts/2012-05-18-using-vim.md | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/_posts/2012-05-18-using-vim.md b/_posts/2012-05-18-using-vim.md index 5b7e252..eeb8fd2 100644 --- a/_posts/2012-05-18-using-vim.md +++ b/_posts/2012-05-18-using-vim.md @@ -212,9 +212,6 @@ Add this to your `~/.vimrc`: " program to always generate a file-name. set grepprg=grep\ -nH\ $* - " run latex - map ,l :!latex % - " Spelling: autocmd FileType tex setlocal spell spelllang=en_us |