Changeset 39997

Timestamp:

Oct 14, 2007, 2:51:54 AM (15 years ago)

Author:

Frank Mori Hess

Message:

docbook does not permit <type> elements to have <emphasis> children,
so put the type inside the emphasis.

(No files)