ninja-ide/ninja-ide — pull request #919 by osscca (2012-10-14 16:10:51+00:00)
Title: Changed link to Python docs

The link opened http://pydoc.org. I've changed this to http://docs.python.org, because this site is more up-to-date.