Skip to content

Allow disabling filepath links#200577

Merged
amunger merged 4 commits intomainfrom
aamunger/outputLinks
Dec 11, 2023
Merged

Allow disabling filepath links#200577
amunger merged 4 commits intomainfrom
aamunger/outputLinks

Conversation

@amunger
Copy link
Collaborator

@amunger amunger commented Dec 11, 2023

fix #181922

@amunger amunger requested a review from rebornix December 11, 2023 19:04
@amunger amunger marked this pull request as ready for review December 11, 2023 19:04
@amunger amunger enabled auto-merge (squash) December 11, 2023 21:21
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Disable filepath highlighting

2 participants