You can override the default WooCommerce currency options in exports generated by Store Exporter Deluxe. Add one of the following PHP snippets to your current WordPress Theme’s functions.php file:
Override the decimal separator
View CodeOverride the thousand separator
View Code