summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/tlpkg/tlpsrc/magra.tlpsrc2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/magra.tlpsrc b/Master/tlpkg/tlpsrc/magra.tlpsrc
index 455c4a6ac58..d204cae3f1d 100644
--- a/Master/tlpkg/tlpsrc/magra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/magra.tlpsrc
@@ -1 +1 @@
-execute addMap magra.map
+execute addMap Magra.map