diff .metadata/.plugins/org.eclipse.ui.workbench/workbench.xml @ 290:cb9a80040150

Updated heavy render to latest Heavy API
author Giulio Moro <giuliomoro@yahoo.it>
date Sat, 21 May 2016 15:22:31 +0100
parents 8a575ba3ab52
children
line wrap: on
line diff