Mercurial > hg > beaglert
diff .metadata/.plugins/org.eclipse.ui.ide/dialog_settings.xml @ 530:fcf36d293458 prerelease
update_board does not restart the IDE with --no-frills (hence the name)
author | Giulio Moro <giuliomoro@yahoo.it> |
---|---|
date | Thu, 23 Jun 2016 19:17:43 +0100 |
parents | 8a575ba3ab52 |
children |