Revision ed3f9971
fix #2335 Make WorkingSet IdentifiableEntity
Files
- added
- modified
- copied
- renamed
- deleted
| ID | ed3f99716ef72d0bee08e4c72ab3952e885926b2 |
| Parent | d5111e49 |
| Child | 699b0f28 |
Added by Andreas Müller about 3 years ago
fix #2335 Make WorkingSet IdentifiableEntity