mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-07 22:44:27 +08:00
restructure NameFinder.filter_name a little bit
This commit is contained in:
@@ -1,4 +1,4 @@
|
||||
""" Mainly for stupid error reports of @gwrtheyrn. :-) """
|
||||
""" Mostly for stupid error reports of @dbrgn. :-) """
|
||||
|
||||
import time
|
||||
|
||||
|
||||
Reference in New Issue
Block a user