davidhalter/jedi — pull request #120 by dbrgn (2013-02-05 10:32:05+00:00)
Title: Development doc fixes

Some small fixes. Please take a look at them so I didn't "verschlimmbessern" anything :)