markup glitch (spotted by George Yoshida)
This commit is contained in:
parent
d615110949
commit
d3188639c3
|
@ -273,7 +273,7 @@
|
|||
\hline
|
||||
|
||||
\lineiii{With}{\member{expr}}{}
|
||||
\lineiii{}{\member{vars&}}{}
|
||||
\lineiii{}{\member{vars\&}}{}
|
||||
\lineiii{}{\member{body}}{}
|
||||
\hline
|
||||
|
||||
|
|
Loading…
Reference in New Issue