diff etc/edt-user.doc @ 41391:44d3d642d0c4

(Fset_text_properties): Remove unused variables `unchanged', `prev_changed', `s' and `len'.
author Pavel Janík <Pavel@Janik.cz>
date Fri, 23 Nov 2001 08:07:24 +0000
parents 19818763d299
children 11d4f1454748
line wrap: on
line diff