diff oldXMenu/AddPane.c @ 53553:e7fef31e8d98

(texinfo-menu-copy-old-description): do not copy `@detailmenu' or `@end menu' as descriptions!
author Robert J. Chassell <bob@rattlesnake.com>
date Sat, 10 Jan 2004 15:01:51 +0000
parents 695cf19ef79e
children f0eb34e60705 e8824c4f5f7e 375f2633d815
line wrap: on
line diff