« Previous | Next » 

Revision dbee5c92

IDdbee5c92a10ecc6acf5a58d26ad23b0d0f1e0298

Added by Michael Hanselmann over 8 years ago

Highlight external links in HTML documentation

Based on MediaWiki's monobook skin.

Signed-off-by: Michael Hanselmann <>
Reviewed-by: Iustin Pop <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences