Christian Brabandt wrote:

> On Fr, 04 Dez 2015, Elimar Riesebieter wrote:
> 
> > * Christian Brabandt <[email protected]> [2015-12-04 14:33 +0100]:
> > 
> > > Hi Bram!
> > > 
> > > 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.
> > 
> > It did:
> > 
> > $ grep Last\ Change /usr/share/vim/vim74/filetype.vim
> > " Last Change:      2015 Dec 03
> 
> Well, I was being unclear. What I meant was that the actual change 
> (besides the Last Change header) did not make it into that file.

The change was already in git, the patch was a no-op for git, besides
the header.  But now the changes are also available in the sequence of
patches.

-- 
% cat /usr/include/sys/errno.h
#define EPERM           1               /* Operation not permitted */
#define ENOENT          2               /* No such file or directory */
#define ESRCH           3               /* No such process */
[...]
#define EMACS           666             /* Too many macros */
%

 /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net   \\\
///        sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\  an exciting new programming language -- http://www.Zimbu.org        ///
 \\\            help me help AIDS victims -- http://ICCF-Holland.org    ///

-- 
-- 
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 [email protected].
For more options, visit https://groups.google.com/d/optout.

Raspunde prin e-mail lui