summaryrefslogtreecommitdiff
path: root/tlpkg
diff options
context:
space:
mode:
Diffstat (limited to 'tlpkg')
-rw-r--r--tlpkg/tlpsrc-disabled/notocondensed.tlpsrc0
-rw-r--r--tlpkg/tlpsrc/notocondensed.tlpsrc1
2 files changed, 1 insertions, 0 deletions
diff --git a/tlpkg/tlpsrc-disabled/notocondensed.tlpsrc b/tlpkg/tlpsrc-disabled/notocondensed.tlpsrc
deleted file mode 100644
index e69de29b..00000000
--- a/tlpkg/tlpsrc-disabled/notocondensed.tlpsrc
+++ /dev/null
diff --git a/tlpkg/tlpsrc/notocondensed.tlpsrc b/tlpkg/tlpsrc/notocondensed.tlpsrc
new file mode 100644
index 00000000..459b1890
--- /dev/null
+++ b/tlpkg/tlpsrc/notocondensed.tlpsrc
@@ -0,0 +1 @@
+execute addMap notocondensed.map