diff options
Diffstat (limited to 'metapost')
-rw-r--r-- | metapost/context/base/common/mp-remapped-boxes.mp (renamed from metapost/context/base/common/boxes.mp) | 0 | ||||
-rw-r--r-- | metapost/context/base/common/mp-remapped-hatching.mp (renamed from metapost/context/base/common/hatching.mp) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/metapost/context/base/common/boxes.mp b/metapost/context/base/common/mp-remapped-boxes.mp index f9cb4a5bb..f9cb4a5bb 100644 --- a/metapost/context/base/common/boxes.mp +++ b/metapost/context/base/common/mp-remapped-boxes.mp diff --git a/metapost/context/base/common/hatching.mp b/metapost/context/base/common/mp-remapped-hatching.mp index ae63b676e..ae63b676e 100644 --- a/metapost/context/base/common/hatching.mp +++ b/metapost/context/base/common/mp-remapped-hatching.mp |