KDE Commit-Digest
Revision 767475
Go back to digest for 3rd February 2008Bug Fixes in Educational
Jason Harris committed changes in /trunk/KDE/kdeedu/kstars/kstars/detaildialog.cpp:
While Pluto is not a planet, it isn't an asteroid either. The Detail dialog now refers to Pluto, Ceres and Eris as "Dwarf planets".
Can't backport due to new string.
Bug 132994: Pluto is not a planet
526 days
File Changes
Modified 1 files
- /trunk/KDE/kdeedu/kstars/kstars/detaildialog.cpp
1 files changed in total