James Vega ea09d9fd0e Disable 'undofile' for the buffer, if the option exists ... Signed-off-by: James Vega <vega.james@gmail.com>		2011-06-26 15:40:34 -04:00
plugin	Disable 'undofile' for the buffer, if the option exists	2011-06-26 15:40:34 -04:00