diff production.ini @ 4799:a698e8f3bed7

user.png: remove unused icons
author Sean Farley <sean.michael.farley@gmail.com>
date Mon, 21 Jul 2014 20:12:38 -0500
parents dc3f0731b2f7
children 70e29dc91deb
line wrap: on
line diff