Project

General

Profile

« Previous | Next » 

Revision 532a02bb

Added by Andreas Kohlbecker over 3 years ago

ref #7858 removing delete button from name editor to avoid problems for some users - prelimiary solution

  • added
  • modified
  • copied
  • renamed
  • deleted