diff options
| author | Norbert Preining <norbert@preining.info> | 2021-09-09 08:53:26 +0900 |
|---|---|---|
| committer | Norbert Preining <norbert@preining.info> | 2021-09-09 08:53:26 +0900 |
| commit | 06581a3496833f3a8387cc5112a02fb02ca2b784 (patch) | |
| tree | 984fe5ec3fb77298f058e89d0387f043e8e3dc4a /tlpkg | |
| parent | 6cb3237a1bf43861a20f132589b23d1e8f27a6b4 (diff) | |
notocondensed back
Diffstat (limited to 'tlpkg')
| -rw-r--r-- | tlpkg/tlpsrc-disabled/notocondensed.tlpsrc | 0 | ||||
| -rw-r--r-- | tlpkg/tlpsrc/notocondensed.tlpsrc | 1 |
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 |