diff options
| -rw-r--r-- | src/ubase/trace.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ubase/trace.ml b/src/ubase/trace.ml index 3c5696d..d47054a 100644 --- a/src/ubase/trace.ml +++ b/src/ubase/trace.ml @@ -117,7 +117,7 @@ let logfile = "!logfile name" "By default, logging messages will be appended to the file \\verb|unison.log| in your HOME directory. Set this preference if - you prefer another file. It can be relative to your HOME directory." + you prefer another file. It can be a path relative to your HOME directory." let logch = ref None |