This plugin adds the Portuguese States to WooCommerce.

This plugin adds the Portuguese "States", known as "Distritos", to WooCommerce and sets the correct address format for Portugal.