comparison .metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.ui.prefs @ 360:8e0dee85b73a prerelease

Fixed run_project.sh
author Giulio Moro <giuliomoro@yahoo.it>
date Wed, 08 Jun 2016 22:19:54 +0100
parents 8a575ba3ab52
children
comparison
equal deleted inserted replaced
359:58742af56d37 360:8e0dee85b73a