Ubuntu
kile package

  1. Bug #1800355
  2. Comment #5

Comment 5 for bug 1800355

Revision history for this message
In , Michel Ludwig (michel-ludwig) wrote :

Hi, please upgrade to Kile 2.9.92.

This bug has been fixed already.