on master help sign in
Merge branch 'master' into nightly
547aee0Jens Petersen
debian-bootstrap.sh+1
@@ -34,6 +34,7 @@ apt-get install -y \
34 sudo \
34 sudo \
35 curl \
35 curl \
36 freeglut3-dev \
36 freeglut3-dev \
37+ fsharp \
37 git \
38 git \
38 gradle \
39 gradle \
39 libadns1-dev \
40 libadns1-dev \