comparison .metadata/.plugins/org.eclipse.ui.workbench/workbench.xml @ 505:116cbb0e2bd4 prerelease

update_board again
author Giulio Moro <giuliomoro@yahoo.it>
date Wed, 22 Jun 2016 01:28:25 +0100
parents 8a575ba3ab52
children
comparison
equal deleted inserted replaced
504:b6eb94378ca9 505:116cbb0e2bd4