mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 23:09:40 +00:00
d30fe45f4c
Now that 5mu are added on each side of : (because it is a relation), there is no need to do the same in the definition of \vcentcolon. This is closer to what is done in mathtools.sty.