Merge branch 'master' into nightly

This commit is contained in:
Jens Petersen 2017-05-01 18:06:08 +09:00
commit 547aee0d57

View File

@ -34,6 +34,7 @@ apt-get install -y \
sudo \ sudo \
curl \ curl \
freeglut3-dev \ freeglut3-dev \
fsharp \
git \ git \
gradle \ gradle \
libadns1-dev \ libadns1-dev \