try removing texlive completely! (#1441)
commit3a26a37b39755d6e3194f7b608a7239e5d873769
authorJens Petersen <juhpetersen@gmail.com>
dateWed 18 May 2016, 18:35 (10 years ago)
parent631635c
debian-bootstrap.sh−1
@@ -101,7 +101,6 @@ apt-get install -y \
101101 npm \
102102 r-base \
103103 r-base-dev \
104− texlive \
105104 wget \
106105 zip \
107106 stack \