barbowza 21d06ad9a6 Tools: Optional open dev tools in Developer Mode (#2083) ... * Require --open-dev-tools along with --env dev in command line options to make opening of Dev Tools optional when in Developer mode. * Restore original lines then comment out the call to openDevTools		2019-11-12 16:00:44 +00:00
..
app	Tools: Optional open dev tools in Developer Mode (#2083)	2019-11-12 16:00:44 +00:00
.gitignore	Clean up	2019-04-02 00:12:38 +01:00
build.sh	All: Made model naming more consistent	2017-12-14 18:12:14 +00:00
run-prod.sh	fix permissions for shell scripts (add executable flag) (#866)	2018-10-09 22:58:18 +01:00
run.sh	Desktop, CLI: Added option to disable creation of welcome items	2019-05-12 01:10:46 +01:00