Revision d7983c72
ref #4101 adapt labels for set publish flag options
Files
- added
- modified
- copied
- renamed
- deleted
ID | d7983c728d0f7c872db1b119570fd35baac21f25 |
Parent | eef2730e |
Child | fa79586c |
Added by Andreas Müller over 2 years ago
ref #4101 adapt labels for set publish flag options