Remove prefixes from platform extensions traits (PlatformApplicationExt -> ApplicationExt)#1873
Merged
maan2003 merged 3 commits intolinebender:masterfrom maan2003:platform-ext-renameJul 15, 2021
+12-10
Commits
Commits on Jul 14, 2021
- committed
- committed
- committed
