log scripts/ide.sh @ 505:116cbb0e2bd4 prerelease

age author description
2016-06-20 Giulio Moro Path-relativeness of scripts has been improved. At least update_board will work when double clicked prerelease
2016-06-20 Giulio Moro update is a bit more clean through Makefile prerelease
2016-06-20 Giulio Moro Added script to control IDE prerelease