Project

General

Profile

« Previous | Next » 

Revision 91d58d15

ID91d58d1537d59fc0efecc55feaadae3d6fd56fe0
Parent 63851d14
Child 98db3bf7

Added by Katja Luther 3 months ago

ref #8293: use distribution editor preference for area filter in details view

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)