gitextensions/GitExtensionsDoc — pull request #13 by martinqt (2013-02-25 17:20:54+00:00)
Title: Update

I don't know when you want to update the doc but the published version isn't updated as long as changes remains in master.