On Fr, 04 Dez 2015, Bram Moolenaar wrote: > > Christian Brabandt wrote: > > > On Do, 03 Dez 2015, Bram Moolenaar wrote: > > > > > > > > Patch 7.4.956 > > > Problem: A few more file name extensions not recognized. > > > Solution: Add .asciidoc, .bzl, .gradle, etc. > > > Files: runtime/filetype.vim > > > > > > > > > *** ../vim-7.4.955/runtime/filetype.vim 2015-12-03 20:14:07.547768295 > > > +0100 > > > --- runtime/filetype.vim 2015-12-03 20:10:00.826467327 +0100 > > > > that file did not make it into the repository. > > Hmm, "git status" doesn't show any changes and "git push" doesn't do > anything. And I do see the updated file, with "Last Change: 2015 Dec 03": > https://github.com/vim/vim/blob/master/runtime/filetype.vim
I was being unclear. The problem is, the actual change did not make it into the repository: #v+ ~/code/vim$ git log -p -1 -r v7.4.956 runtime/filetype.vim commit f882d9f89dbe24ab1ba4bc88529bef28242fd2ed Author: Bram Moolenaar <b...@vim.org> Date: Thu Dec 3 20:18:24 2015 +0100 patch 7.4.956 Problem: A few more file name extensions not recognized. Solution: Add .asciidoc, .bzl, .gradle, etc. diff --git a/runtime/filetype.vim b/runtime/filetype.vim index 2efc13f..813db93 100644 --- a/runtime/filetype.vim +++ b/runtime/filetype.vim @@ -1,7 +1,7 @@ " Vim support file to detect file types " " Maintainer: Bram Moolenaar <b...@vim.org> -" Last Change: 2015 Oct 13 +" Last Change: 2015 Dec 03 " Listen very carefully, I will say this only once if exists("did_load_filetypes") ~/code/vim$ #v- Now where is the addition of the asciidoc pattern to filetype.vim? Best, Christian -- Eine Ehe dient dazu, Probleme zu lösen, indem man sie auf den Parter abwälzt. -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to vim_dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.