doc: improve description of rest-space primitive

2022-03-05 21:42:59 +01:00 · 2022-03-05 21:42:59 +01:00 · 04e0f141b2
parent d461adbf97
commit 04e0f141b2
1 changed files with 8 additions and 2 deletions
--- a/docu/mars-user-manual.lyx
+++ b/docu/mars-user-manual.lyx
@ -35469,12 +35469,18 @@ logically
 \family typewriter
 /mars/
 \family default
-, which may deviate from the physically available space as indicated by
- the 
+ measured and rounded down in GiB, which may deviate from the physically
+ available space as indicated by the 
 \family typewriter
 df
 \family default
 command.
+ The difference to 
+\family typewriter
+df
+\family default
+ is intended for safeguarding.
+ Computational details may change in future MARS releases.
 \end_layout

 \begin_layout Labeling