Ubuntu
kile package

  1. Bug #772631
  2. Comment #39

Comment 39 for bug 772631

Revision history for this message
Fathi Boudra (fboudra) wrote :

Assign to me. comment #38 isn't a correct fix, files shouldn't go into /usr/local.