diff COPYING @ 59798:0816b427495a

Don't say just "option" when talking about variables.
author Richard M. Stallman <rms@gnu.org>
date Sun, 30 Jan 2005 11:23:17 +0000
parents a21a2f14a765
children d92149473c34
line wrap: on
line diff