diff oldXMenu/XMenu.h @ 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 9351060ba546
children 3861ff8f4bf1 3ec251523b3e b637c617432f
line wrap: on
line diff