diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-09-12 15:34:48 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-09-12 15:34:48 +0200 |
commit | 784494bec300749d78b51cf7332ff3bad533db66 (patch) | |
tree | c06d30cef185ee8c283f35a5291c6c86588080e0 | |
parent | fa46f3f56207a5edc5c6d56a58768b34c1a4c212 (diff) |
Fix a typo
-rw-r--r-- | odb/options.cli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odb/options.cli b/odb/options.cli index bd8f0d7..11af799 100644 --- a/odb/options.cli +++ b/odb/options.cli @@ -236,7 +236,7 @@ class options the same set of options in the same order on the command line at the point where the \cb{--options-file} option is specified except that the shell escaping and quoting is not required. Repeat this option - to specify more than one options files." + to specify more than one options file." }; bool --trace {"Trace the compilation process."}; |