About the dev category

This category is for topics related to hacking on syncthing: submitting pull requests, configuring development environments, coding conventions, and so forth.