Ubuntu
jed-extra package

  1. Bug #882208
  2. Comment #7

Comment 7 for bug 882208

Revision history for this message
Hein Gustavsen (hein-gustavsen) wrote :

Run "dpkg-reconfigure jed-extra" after applying the above patches.