Ubuntu
source-highlight package

  1. Bug #243692
  2. Comment #4

Comment 4 for bug 243692

Revision history for this message
Cesare Tirabassi (norsetto) wrote : Re: web pages with ~dot not underlined correrctly

Updated to version 2.9 and fix committed locally (upstream confirmed that this is the right fix). Will upload to official repo in the next few days.