diff make-dist @ 85248:a2daf11c89b5

(grow_menu_items): Use larger_vector.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 13 Oct 2007 12:10:07 +0000
parents 6fa9e8761256
children 2e60398b267b 14c4a6aac623
line wrap: on
line diff