https://bugs.kde.org/show_bug.cgi?id=242660 Kevin Kofler changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution| |FIXED --- Comment #14 from Kevin Kofler 2011-10-29 20:15:08 --- So I restarted KDevelop (4.2.3) 3 times and the problem did not come back. I suspect that there must have been some incorrect data cached from a previous release. I'll reopen the bug if it shows up again. -- Configure bugmail: https://bugs.kde.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. _______________________________________________ KDevelop-bugs mailing list KDevelop-bugs@kdevelop.org https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-bugs