1. 2007-05-09 Re: (Doc bug) Error in options.txt vim-dev Bram Moolenaar 2. 2007-05-09 (Doc bug) Error in options.txt vim-dev A.J.Mechelynck