Mon, 16 Nov 2009 21:19:12 +0000 Minor fix: wip
timothy.murphy@nokia.com [Mon, 16 Nov 2009 21:19:12 +0000] rev 7
Minor fix: Ensure that CLI_OPTIONS from the frontend are used.
(0) -1 +1 +10 +30 +100 +300 tip