As annonunced these options are not used anymore so these are removed from code.main
parent
566f652716
commit
5b7131c751
As annonunced these options are not used anymore so these are removed from code.main