Merge remote-tracking branch 'origin/develop' into develop

This commit is contained in:
Weblate 2018-09-19 09:05:12 +00:00
commit 4d3afd1dc1

View file

@ -34,5 +34,5 @@ ln -s $REACT_SDK_DIR/$RIOT_WEB_DIR riot/riot-web
# PUPPETEER_SKIP_CHROMIUM_DOWNLOAD=true ./install.sh
# CHROME_PATH=$(which google-chrome-stable) ./run.sh
./install.sh
./run.sh
./run.sh --travis
popd