mirror of
https://github.com/davidhalter/jedi.git
synced 2026-05-17 05:49:37 +08:00
ee90cd97b6
This should make it easier to add new entries as well as clarifying the intent of this filter.