Ubuntu
source-highlight package

  1. Bug #243692
  2. Comment #2

Comment 2 for bug 243692

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

I also tried out 2.9 (this package really should be updated) and also there is not fixed.