Revision 3786c4c9
fix #6369 add interface for all names
Files
- added
- modified
- copied
- renamed
- deleted
ID | 3786c4c9973a9249a6680a31501dfea67c47309d |
Parent | 47341693 |
Child | 8fd3a2d7 |
Added by Andreas Müller about 4 years ago
fix #6369 add interface for all names