diff etc/THE-GNU-PROJECT @ 76999:207f5fae3c52

Improve index entries. Remove redundant/useless ones. (Text Properties, Examining Properties) (Special Properties): Use "property category" instead of "category" to refer to the `category' property.
author Richard M. Stallman <rms@gnu.org>
date Sat, 07 Apr 2007 02:00:55 +0000
parents 41ca3e86bd27
children 540edc5802ca
line wrap: on
line diff