make icon setting configurable
authorDieter Plaetinck <dieter@plaetinck.be>
Sun, 7 Jun 2009 18:28:35 +0000 (20:28 +0200)
committerDieter Plaetinck <dieter@plaetinck.be>
Sun, 7 Jun 2009 18:28:35 +0000 (20:28 +0200)

No differences found