Use global option if local not defined

This commit is contained in:
Laurent Destailleur 2011-07-10 13:33:53 +00:00
parent db76b959ee
commit f65c0844aa

Diff Content Not Available