diff src/w32menu.c @ 51271:ff87ff02952e

Commentary change.
author Glenn Morris <rgm@gnu.org>
date Tue, 27 May 2003 23:09:40 +0000
parents 22a5614b558f
children 861a49cd70cf
line wrap: on
line diff