Revision 2ce55ae5
Remove unused extension points
Files
- added
- modified
- copied
- renamed
- deleted
ID | 2ce55ae59c2f14cfe17fdaf3a914f88a3e25c478 |
Parent | e9a08395 |
Child | 86e729cc |
Added by Patrick Plitzner about 5 years ago
Remove unused extension points