Remove unneeded comment
This commit is contained in:
parent
8cd2eec33d
commit
4cf38304ac
|
@ -1672,7 +1672,6 @@
|
|||
} else {
|
||||
if (n) {this.Push(MML.mspace().With({depth:n}))}
|
||||
this.Push(MML.mspace().With({linebreak:MML.LINEBREAK.NEWLINE}));
|
||||
// this.Push(MML.mo()); // make sure we don't look like an embellished operator (#707)
|
||||
}
|
||||
},
|
||||
emPerInch: 7.2,
|
||||
|
|
Loading…
Reference in New Issue
Block a user