summaryrefslogtreecommitdiff
path: root/tlpkg
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2021-09-09 08:53:26 +0900
committerNorbert Preining <norbert@preining.info>2021-09-09 08:53:26 +0900
commit06581a3496833f3a8387cc5112a02fb02ca2b784 (patch)
tree984fe5ec3fb77298f058e89d0387f043e8e3dc4a /tlpkg
parent6cb3237a1bf43861a20f132589b23d1e8f27a6b4 (diff)
notocondensed back
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