diff TOOLS/subedit.pl @ 36788:64a53697effe

configure: Revise some GUI related messages and output.
author ib
date Wed, 19 Feb 2014 01:56:21 +0000
parents 92a795af2600
children
line wrap: on
line diff