James Vega 32c88feb43 Disable 'undofile' for the buffer, if the option exists ... Signed-off-by: James Vega <vega.james@gmail.com>		2012-10-26 16:05:17 -04:00
plugin	Disable 'undofile' for the buffer, if the option exists	2012-10-26 16:05:17 -04:00