Project

General

Profile

« Previous | Next » 

Revision 5039be8c

ID5039be8cb876e8be10ca29a7f80fadbb7869d224
Parent faad67d9
Child 03a148bb

Added by Katja Luther over 2 years ago

fix #6570: use treeMap for getKeyLabelPairs() to sort the ranks

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)