diff COPYING @ 51363:2d011e9999e9

(widget-specify-insert): Simplify. (widget-editable-list-entry-create): Don't assume that %d and %i are in the format string. (widget-map-buttons): Remove unused var `parent'. (widget-move): Remove unused shadowed var `new'. (widget-color-action): Remove unused var `pos'.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 31 May 2003 15:33:09 +0000 (2003-05-31)
parents a21a2f14a765
children d92149473c34
line wrap: on
line diff