Project

General

Profile

« Previous | Next » 

Revision fae92bbd

Added by Katja Luther almost 6 years ago

fix #4136: refresh event for navigator if name editor is saved

  • added
  • modified
  • copied
  • renamed
  • deleted