try removing texlive completely! (#1441)
commit0f7680780b9967f84c94afa04c1cb4a14a91c13e
authorJens Petersen <juhpetersen@gmail.com>
dateWed 18 May 2016, 18:35 (10 years ago)
parent3e7f3db
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 \