thomasv 299d54c6ec fix: the gtk gui was broken since server_list_changed was introduced...

2012-10-11 13:18:04 +02:00

46 KiB

Raw Blame History

View Raw