Use global option if local not defined

This commit is contained in:
Laurent Destailleur 2011-07-10 13:33:53 +00:00
parent 3c4c116b4a
commit 9f3b5018cf

Diff Content Not Available