Ubuntu
kile package

  1. Bug #68382
  2. Comment #1

Comment 1 for bug 68382

Revision history for this message
Vincenzo Ciancia (vincenzo-ml) wrote :

Reported upstream, agreed as wishlist, there is nothing we can do about that here.