Add a role="directory" attribute to all the <filename> elements that
reference directory paths.
Description
Description
Details
Details
- Provenance
Giorgos Keramidas Authored on Jan 23 2006, 12:48 AM - Parents
- R9:70899d41c603: Various translation fixes and a fair bit of rewording, to avoid a style
- Branches
- Unknown
- Tags