Ubuntu
kile package

  1. Bug #333519
  2. Comment #8

Comment 8 for bug 333519

Revision history for this message
Katsudon (katsudon) wrote :

Is this manual clearing of the icon cache going to be a standard procedure for users who are upgrading? If yes, this is not going to be "works-out-of-the-box" TM.