annotate .metadata/.plugins/org.eclipse.ui.ide/dialog_settings.xml @ 412:a9c37b2a5b77 prerelease

Updated setup_board.sh, cleaner error handling, cleaner output
author Giulio Moro <giuliomoro@yahoo.it>
date Wed, 15 Jun 2016 23:05:09 +0100
parents 8a575ba3ab52
children
rev   line source
andrewm@0 1 <?xml version="1.0" encoding="UTF-8"?>
andrewm@0 2 <section name="Workbench">
andrewm@0 3 <section name="ChooseWorkspaceDialogSettings">
andrewm@0 4 <item value="330" key="DIALOG_Y_ORIGIN"/>
andrewm@0 5 <item value="0" key="DIALOG_X_ORIGIN"/>
andrewm@0 6 </section>
andrewm@0 7 <section name="WORKBENCH_SETTINGS">
andrewm@0 8 <list key="ENABLED_TRANSFERS">
andrewm@0 9 </list>
andrewm@0 10 </section>
andrewm@0 11 </section>