diff scripts/run_project.sh @ 525:1ca196e35105 prerelease

Upated scripts
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 23 Jun 2016 13:22:59 +0100
parents d9a4fc5357e7
children
line wrap: on
line diff