log scripts/stop_running.sh @ 463:c47709e8b5c9 prerelease

age author description
Mon, 20 Jun 2016 14:09:43 +0100 Giulio Moro Path-relativeness of scripts has been improved. At least update_board will work when double clicked prerelease