Revision 28374
Correct bug #2037: PreferencesExtension initializes the preferences pages in random order
Files
- added
- modified
- copied
- renamed
- deleted
Added by Vicente Caballero over 15 years ago
Correct bug #2037: PreferencesExtension initializes the preferences pages in random order