Delete unused propdev code