diff .arch-inventory @ 66117:634ee145589e

(Info-fontify-node): Use dolist. (Info-fontify-node): Change add-text-properties to put-text-property.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 16 Oct 2005 14:12:03 +0000
parents 7cb1d5f71446
children
line wrap: on
line diff