an error message has been deleted by error, ref #6740
authorgwen <gremond@cadoles.com>
Wed, 4 Dec 2013 14:55:53 +0000 (15:55 +0100)
committergwen <gremond@cadoles.com>
Wed, 4 Dec 2013 14:55:53 +0000 (15:55 +0100)
commit5fb79fed383853431f8cd2fb931943dd1c098e5b
treeb4712b5ddec38b6cc5da49a728ad464978ff7641
parent48b662997ecc82bc5f423cfb1056ba17c02b4efe
an error message has been deleted by error, ref #6740
tiramisu/option.py