Merge branch 'master' into nightly
commit547aee0d5768d7b25cd010b8092493cdf28d7298
authorJens Petersen <juhpetersen@gmail.com>
dateMon 1 May 2017, 18:06 (9 years ago)
parenta08ffee551980c
debian-bootstrap.sh+1
@@ -34,6 +34,7 @@ apt-get install -y \
3434 sudo \
3535 curl \
3636 freeglut3-dev \
37+ fsharp \
3738 git \
3839 gradle \
3940 libadns1-dev \