RepoMirrors
/
mars
mirror of https://github.com/schoebel/mars
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

user-manual: rework logfile operations

This commit is contained in:
Thomas Schoebel-Theuer 2019-09-09 14:49:25 +02:00 committed by Thomas Schoebel-Theuer
parent 45c27aaba9
commit b3fa92bd4c
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docu/mars-user-manual.lyx
View File

@ -19248,6 +19248,10 @@ framecolor "black"
backgroundcolor "none"
status open
\begin_layout Plain Layout
Only useful for debugging.
\end_layout
\begin_layout Plain Layout
\size scriptsize