diff setup.cfg @ 4587:7560486d0e4d

server_key.png: use new icon-key font A quick search revealed that some old css code was never used, so it was removed.
author Sean Farley <sean.michael.farley@gmail.com>
date Mon, 14 Jul 2014 23:20:54 -0500
parents 7dba6116496c
children acaa02179aeb
line wrap: on
line diff