diff etc/PROBLEMS @ 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 6a69cc2e7e0c
children d004c9d874b7 c156f6a9e7b5
line wrap: on
line diff