1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-03-28 14:56:28 +01:00
cdt/launchbar/org.eclipse.launchbar.ui/.options
Jonah Graham 533d62ce6c Bug 558439: Move launchbar plug-ins into its own folder
This also removes the duplicated infra and releng code that is no longer
needed in merged repo

Change-Id: Ia5c52c7b087ed2612ed505c37ae00c9c6efe1f4f
2019-12-18 13:41:51 -05:00

2 lines
91 B
Text

org.eclipse.launchbar.ui/iconSize32=false
org.eclipse.launchbar.ui/launchIconUpdater=false