diff options
Diffstat (limited to 'Master/tlpkg/dev/profiles/TLfmt.pro')
-rw-r--r-- | Master/tlpkg/dev/profiles/TLfmt.pro | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Master/tlpkg/dev/profiles/TLfmt.pro b/Master/tlpkg/dev/profiles/TLfmt.pro index e9c263963c7..09279dd8d79 100644 --- a/Master/tlpkg/dev/profiles/TLfmt.pro +++ b/Master/tlpkg/dev/profiles/TLfmt.pro @@ -5,11 +5,8 @@ TEXMFHOME /tmp/ki/user/home TEXMFLOCAL /tmp/ki/texmf-local TEXMFSYSCONFIG /tmp/ki/sys/config TEXMFSYSVAR /tmp/ki/sys/var -selected_scheme scheme-minimal TEXMFCONFIG /tmp/ki/user/config TEXMFVAR /tmp/ki/user/var -TEXMFSYSCONFIG /tmp/ki/sys/config -TEXMFSYSVAR /tmp/ki/sys/var option_doc 0 option_fmt 1 option_letter 0 |