Christian Brabandt wrote:

> On Mi, 03 Mai 2017, Christian Brabandt wrote:
> 
> > On Di, 02 Mai 2017, Christian Brabandt wrote:
> > 
> > > I see there are a couple of variables, that need documentation. Before 
> > > sending it to Bram, will add the documentation to the vim help.
> > 
> > I am attaching the file here for inclusion with Vim, including a doc 
> > patch to the Vim documentation.
> > 
> > @Bram, please include with the next Vim runtime file update.
> 
> 
> It looks like a different version has been committed by Bram as of 
> b4d6c3ea4a59c6d8d4e0
> 
> I have some questions:
> 1) where did this come from?
> 2) is the old maintainer still active?
> 3) is the bug fixed, that was reported in this thread?
> 
> If I don't need to maintain this script, please tell me and I am going 
> to delete the repository.

Turns out I got a new version from two different sources.  Yichao Zhou
is listed as the maintainer, so I included his patch.  I didn't remember
the version sent by Christian at the time (it's listed in the todo file).

I don't use TeX, thus I can't judge what each of these indent files
does.  Hopefully we can merge the two versions and get the best of both?

-- 
hundred-and-one symptoms of being an internet addict:
16. You step out of your room and realize that your parents have moved and
    you don't have a clue when it happened.

 /// 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