view .metadata/.plugins/org.eclipse.ui.workbench/dialog_settings.xml @ 67:472e892c6e41

Merge newapi into default
author Andrew McPherson <a.mcpherson@qmul.ac.uk>
date Fri, 17 Jul 2015 15:28:18 +0100 (2015-07-17)
parents 8a575ba3ab52
children
line wrap: on
line source
<?xml version="1.0" encoding="UTF-8"?>
<section name="Workbench">
</section>