comparison make-dist @ 85247:205db480c6db

(grow_menu_items): Use larger_vector.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 13 Oct 2007 12:09:48 +0000
parents 6fa9e8761256
children 2e60398b267b 14c4a6aac623
comparison
equal deleted inserted replaced
85246:ef39b2bc8f1e 85247:205db480c6db