gitextensions/gitextensions — pull request #2061 by ulrichb (2013-10-09 23:14:40+00:00)
Title: Refactoring of GitExtensionsSettingsPage (now using table layout managers).

This is a follow-up refactoring of #2046.