comparison lispintro/makefile.w32-in @ 78847:ee94dfa84d72

(widget-image-insert): Don't merge mouse-face with neighbouring buttons.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 20 Sep 2007 18:56:07 +0000
parents ee787fc40e93
children a8fd89a466fd f55f9811f5d7
comparison
equal deleted inserted replaced
78846:b9fb68272e26 78847:ee94dfa84d72