annotate .metadata/.plugins/org.eclipse.ui.workbench/workingsets.xml @ 402:c29f07b7350e
prerelease
Quieter setup_board.sh, also invokes IDE setup if available
| author |
Giulio Moro <giuliomoro@yahoo.it> |
| date |
Wed, 15 Jun 2016 02:21:13 +0100 |
| parents |
8a575ba3ab52 |
| children |
|
| rev |
line source |
|
andrewm@0
|
1 <?xml version="1.0" encoding="UTF-8"?>
|
|
andrewm@0
|
2 <workingSetManager>
|
|
andrewm@0
|
3 <workingSet aggregate="true" factoryID="org.eclipse.ui.internal.WorkingSetFactory" id="1381999860395_0" label="Window Working Set" name="Aggregate for window 1381999860394"/>
|
|
andrewm@0
|
4 </workingSetManager> |
