diff etc/ps-prin0.ps @ 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 23a17af379b1
children 2c5d29f90b94
line wrap: on
line diff