CVS commit by schepler: Bring forward changes from KDE_3_1_BRANCH. A kmines_complete_vs_solver.diff 1.1.4.1