Skip to content

Conversation

shahms
Copy link
Contributor

@shahms shahms commented Dec 18, 2023

This allows for stripping the argument name from arguments like --src=

@shahms shahms requested review from a team and schroederc December 18, 2023 21:54
@shahms shahms merged commit 7881f8f into kythe:master Dec 18, 2023
@shahms shahms deleted the extractor-source-args-capture branch December 18, 2023 22:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants