diff options
Diffstat (limited to 'clean/clean.cli')
| -rw-r--r-- | clean/clean.cli | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/clean/clean.cli b/clean/clean.cli index 434b32f..d3be4d6 100644 --- a/clean/clean.cli +++ b/clean/clean.cli @@ -1,5 +1,4 @@ // file : clean/clean.cli -// copyright : Copyright (c) 2014-2019 Code Synthesis Ltd // license : MIT; see accompanying LICENSE file include <vector>; @@ -128,8 +127,8 @@ Fatal error.| \li|\cb{2} -An instance of \cb{brep-clean} or \l{brep-migrate(1)} is already running. Try -again.| +An instance of \cb{brep-clean} or some other \cb{brep} utility is already +running. Try again.| \li|\cb{3} |