Switch makeGlue from .mord .rule to .mspace (#1295)

* Switch makeGlue from .mord .rule to .mspace

* Update screenshots
This commit is contained in:
Erik Demaine
2018-05-08 15:28:53 -04:00
committed by Kevin Barabash
parent ba24d2073b
commit 5c159abfbb
5 changed files with 2 additions and 2 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 26 KiB

After

Width:  |  Height:  |  Size: 26 KiB