diff etc/FTP @ 70505:53adfd470fe4

(syntax-ppss): Flush the cache before rather than after a buffer modification.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 07 May 2006 14:11:05 +0000
parents c2a966416be5
children 3681678d3d86
line wrap: on
line diff