Skip to content
Snippets Groups Projects
Commit 0ab4fb1e authored by Jan-Oliver Kaiser's avatar Jan-Oliver Kaiser
Browse files

Annotate telescope notations to support literal telescope arguments.

parent 4fb85912
Branches
No related tags found
1 merge request!375Annotate telescope notations to support literal telescope arguments.
Pipeline #65400 passed