diff move-if-change @ 37532:f14973be41f5

(update_syntax_table): Check that oldi has the same properties as old_prop before deciding not to invalidate.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 01 May 2001 13:49:44 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff