gitextensions/gitextensions — pull request #1574 by feinstaub (2013-01-30 20:00:00+00:00)
Title: Minor Settings Page fixes

- Fix some captions / remove "." at the end of checkbox text)
- Move class SettingsGroupPages one directory up (fits better there)