syncthing/syncthing — pull request #634 by pyfisch (2014-09-05 10:46:55+00:00)
Title: GUI cleanup; removed unused code

Makes #633 obsolete.