Skip to content

Use more official Jedi APIs for gotos #1735

Closed
Closed
Use more official Jedi APIs for gotos#1735
Labels
area-editor-*User-facing catch-alldebtCode quality issues
@brettcannon

Description

@brettcannon
brettcannon
opened on May 23, 2018

davidhalter/jedi-vim#808

Metadata

Metadata

Assignees

No one assigned

    Labels

    area-editor-*User-facing catch-alldebtCode quality issues

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions