diff scripts/run_project.sh @ 380:9dc5a0ccad25 prerelease

Fixed missing ) in Makefile, and removed unnecessary Utilities.h includes
author andrewm
date Sun, 12 Jun 2016 23:03:57 +0100
parents a430a16d2c02
children 99de323c13b3
line wrap: on
line diff