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

…

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