mirror of
https://github.com/syncthing/syncthing.git
synced 2026-06-27 09:55:43 -04:00
Also moves a couple of </div> that were out of balance and reindents accordingly, so try a white space insensitive diff when reviewing...