Ubuntu
source-highlight package

  1. Bug #243692
  2. Comment #1

Comment 1 for bug 243692

Revision history for this message
Aapo Rantalainen (aapo-rantalainen) wrote : Re: web pages with ~dot not underlined correrctly

I tried newer version (2.9). Not fixed yet.

ftp://ftp.gnu.org/gnu/src-highlite/