Shift spaces back into the replacement middle delimiter.
This commit is contained in:
Eddie Kohler
2017-04-30 18:30:31 -04:00
committed by Erik Demaine
parent b9e7b6898f
commit 7192bd6595
4 changed files with 32 additions and 15 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 10 KiB

After

Width:  |  Height:  |  Size: 12 KiB