David wrote:

> output of 'hg diff -c 6741' contains:
> 
> 
> diff -r 2ed977b23d68 -r fbc1131f0ba5 runtime/doc/help.txt
> --- a/runtime/doc/help.txt    Mon Apr 13 12:39:22 2015 +0200
> +++ b/runtime/doc/help.txt    Mon Apr 13 12:43:06 2015 +0200
> @@ -203,6 +204,16 @@
>  |pi_zip.txt|       Zip archive explorer
> 
>  LOCAL ADDITIONS:                *local-additions*
> +|Mines.txt|    The Mines Game                 Jul 30, 2009
> +|Tabular.txt|   Configurable, flexible, intuitive text aligning
> +|cecutil.txt|    DrChip's Utilities                Jun 11, 2004
> +|example.txt|    Example for a locally added help file
> +|matchit.txt|   Extended "%" matching
> +|pi_netrw.txt|  For Vim version 7.4.  Last change: 2014 Jul 09
> +|synchk.txt|    Syntax Checker                May 15, 2013
> +|test.txt|    Testing the hélp cömmånd nôw
> +|typecorr.txt|    Plugin for correcting typing mistakes
> +|helpp.txt|    Dummy line to avoid an error message
> 
>  
> ------------------------------------------------------------------------------
>  *bars*        Bars example

I should have some filter to avoid that...

-- 
SOLDIER: Where did you get the coconuts?
ARTHUR:  Through ... We found them.
SOLDIER: Found them?  In Mercea.  The coconut's tropical!
                 "Monty Python and the Holy Grail" PYTHON (MONTY) PICTURES LTD

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