log scripts/run_project.sh @ 376:9d2ed561aac5 prerelease

age author description
Wed, 08 Jun 2016 22:19:54 +0100 Giulio Moro Fixed run_project.sh prerelease