diff src/configure @ 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 cd9471bd8e9e
children
line wrap: on
line diff