diff configure @ 43835:d9af887af46c

(java-font-lock-extra-types): Add "URL" as separate item. Doc fix.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 11 Mar 2002 13:36:07 +0000
parents 0f0939983d10
children ed9873c5c040
line wrap: on
line diff