comparison etc/SERVICE @ 70851:9119e54a8121

(ewoc-delete): New function. (ewoc-filter): Use `ewoc-delete'.
author Thien-Thi Nguyen <ttn@gnuvola.org>
date Tue, 23 May 2006 07:30:20 +0000
parents 695cf19ef79e
children 3681678d3d86 375f2633d815
comparison
equal deleted inserted replaced
70850:b90abedf3b79 70851:9119e54a8121