mirror of
https://github.com/davidhalter/jedi.git
synced 2026-02-26 08:17:16 +08:00
Add author's name to AUTHORS.txt
This commit is contained in:
@@ -1,4 +1,4 @@
|
|||||||
Main Authors
|
Main Authors
|
||||||
============
|
============
|
||||||
|
|
||||||
David Halter (@davidhalter) <davidhalter88@gmail.com>
|
David Halter (@davidhalter) <davidhalter88@gmail.com>
|
||||||
@@ -48,5 +48,6 @@ Robin Roth (@robinro)
|
|||||||
Malte Plath (@langsamer)
|
Malte Plath (@langsamer)
|
||||||
Anton Zub (@zabulazza)
|
Anton Zub (@zabulazza)
|
||||||
Maksim Novikov (@m-novikov) <mnovikov.work@gmail.com>
|
Maksim Novikov (@m-novikov) <mnovikov.work@gmail.com>
|
||||||
|
Tobias Rzepka (@TobiasRzepka)
|
||||||
|
|
||||||
Note: (@user) means a github user name.
|
Note: (@user) means a github user name.
|
||||||
|
|||||||
Reference in New Issue
Block a user