diff make-dist @ 44761:06754245370a

Remove unused global variable `minibuf_prompt_pixel_width'.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 22 Apr 2002 22:47:07 +0000
parents 071e287dcbde
children 118d892da9b7
line wrap: on
line diff