diff src/GvimExt/gvimext.cpp @ 6779:64a32aca7919 v7.4.711

patch 7.4.711 Problem: Missing change in one file. Solution: Also change option.c
author Bram Moolenaar <bram@vim.org>
date Tue, 21 Apr 2015 19:10:48 +0200
parents 04736b4030ec
children 81cb471657e0
line wrap: on
line diff