Revision 88b1995d
ref #5431: the type designation blocks the name deletion only if it is the type name
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 88b1995de5de6346195f2a134bcaade3ad910e06 |
| Parent | 3fa85b45 |
| Child | aabd8c12, 08a698af, 904c8661 |
Added by Katja Luther over 3 years ago
ref #5431: the type designation blocks the name deletion only if it is the type name