commit | eb4d510a748e68580eb29a3647dd51311e1c79cf | [log] [tgz] |
---|---|---|
author | Karl Berry <karl@gnu.org> | Mon Jul 14 17:43:41 1997 +0000 |
committer | Karl Berry <karl@gnu.org> | Mon Jul 14 17:43:41 1997 +0000 |
tree | 8f20cf03005f10d4c6344f79e92a3aab6a4403b2 | |
parent | c86587fb9b59f3dc17408101d47ef2c75e4b2764 [diff] |
(\indexdummies): Add \value.