Skip to content

Conversation

hadley
Copy link
Member

@hadley hadley commented Jul 10, 2022

Fixes #1354

@hadley hadley merged commit 8c1f460 into main Jul 10, 2022
@hadley hadley deleted the hyperlink-files branch July 10, 2022 02:45
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.

Hyperlink output file names to corresponding help invocation
1 participant