diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/carolmin-ps.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/carolmin-ps.tlpsrc b/Master/tlpkg/tlpsrc/carolmin-ps.tlpsrc index 1fd0e3e0f9c..ce5db288322 100644 --- a/Master/tlpkg/tlpsrc/carolmin-ps.tlpsrc +++ b/Master/tlpkg/tlpsrc/carolmin-ps.tlpsrc @@ -1,2 +1,3 @@ name carolmin-ps category Package +execute addMap cmin.map |