Project

General

Profile

« Previous | Next » 

Revision dd8700eb

IDdd8700eb3914ecb5c1fca2d66fd42fdecf3fd7fa
Parent 1e1ccbfc
Child 0881e734

Added by Katja Luther 7 days ago

fix #9168: after changing preference preferredFeatureTree should be updated - continue

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)