summaryrefslogtreecommitdiff
path: root/tlpkg/tlpsrc/notocondensed.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'tlpkg/tlpsrc/notocondensed.tlpsrc')
-rw-r--r--tlpkg/tlpsrc/notocondensed.tlpsrc1
1 files changed, 1 insertions, 0 deletions
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