From 5887422c16feb34eeb89f65b4797c0a22318cf39 Mon Sep 17 00:00:00 2001 From: Lukas Heiligenbrunner Date: Mon, 20 Apr 2020 18:04:03 +0000 Subject: [PATCH] Delete texlive-profile.txt --- texlive-profile.txt | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 texlive-profile.txt diff --git a/texlive-profile.txt b/texlive-profile.txt deleted file mode 100644 index 413b46a..0000000 --- a/texlive-profile.txt +++ /dev/null @@ -1,10 +0,0 @@ -selected_scheme scheme-minimal -TEXDIR /usr/local/texlive -TEXMFCONFIG ~/.texlive/texmf-config -TEXMFHOME ~/texmf -TEXMFLOCAL /usr/local/texlive/texmf-local -TEXMFSYSCONFIG /usr/local/texlive/texmf-config -TEXMFSYSVAR /usr/local/texlive/texmf-var -TEXMFVAR ~/.texlive/texmf-var -option_doc 0 -option_src 0