mirror of
https://github.com/davidhalter/jedi.git
synced 2026-11-06 07:32:54 +08:00
Merge master into linter.
This commit is contained in:
commit
7141158484
11 files changed
+144
-19
No files matched your search
@@ -34,5 +34,6 @@ Phillip Berndt (@phillipberndt) <phillip.berndt@gmail.com>
|
||||
Ian Lee (@IanLee1521) <IanLee1521@gmail.com>
|
||||
Farkhad Khatamov (@hatamov) <comsgn@gmail.com>
|
||||
Kevin Kelley (@kelleyk) <kelleyk@kelleyk.net>
|
||||
Sid Shanker (@squidarth) <sid.p.shanker@gmail.com>
|
||||
|
||||
Note: (@user) means a github user name.
|
||||
Reference in new issue
Block a user