woothemes/woocommerce — pull request #4152 by kloon (2013-11-20 08:34:53+00:00)
Title: Add formatted_woocommerce_price filter

Add a formatted_woocommerce_price filter so you can show prices in different formats on different pages. ie you might want to show prices on product page without decimals, but with decimals on cart page.