]> git.lyx.org Git - lyx.git/search
\end_document replaces \the_end.