replace obsolete font-lock-fontify-buffer with font-lock-flush
tree17c7f8cefe7686f57dcdb051834175d86b93e951
-rw-r--r-- 36 .gitignore
-rw-r--r-- 324 AUTHORS
-rw-r--r-- 3080 BUGS
-rw-r--r-- 15131 COPYING
-rw-r--r-- 15460 Changes
-rw-r--r-- 35141 LICENSE
-rw-r--r-- 2085 README
-rw-r--r-- 317332 spice-mode.el
-rw-r--r-- 5206 test_netlist.cir