From 784494bec300749d78b51cf7332ff3bad533db66 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Sun, 12 Sep 2010 15:34:48 +0200 Subject: Fix a typo --- odb/options.cli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'odb/options.cli') 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."}; -- cgit v1.1