Ubuntu
jedit package

  1. Bug #514212
  2. Comment #1

Comment 1 for bug 514212

Revision history for this message
Daniel Hahler (blueyed) wrote :

I'll do this later today.
Test build is in my PPA already.