diff options
-rw-r--r-- | Master/tlsrc/ams.tlsrc | 1 | ||||
-rw-r--r-- | Master/tlsrc/glossary.tlsrc | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlsrc/ams.tlsrc b/Master/tlsrc/ams.tlsrc index 0250414d718..f7920f58b6c 100644 --- a/Master/tlsrc/ams.tlsrc +++ b/Master/tlsrc/ams.tlsrc @@ -2,3 +2,4 @@ name ams execute addMap mixed ams-bsr-interpolated.map execute addMap mixed ams-bsr.map execute addMap mixed ams-cmcsc-bsr-interpolated.map +execute addMap mathpple.map diff --git a/Master/tlsrc/glossary.tlsrc b/Master/tlsrc/glossary.tlsrc deleted file mode 100644 index 5f9ec2c5e09..00000000000 --- a/Master/tlsrc/glossary.tlsrc +++ /dev/null @@ -1 +0,0 @@ -name glossary |