Skip to content

add comment help info to diff help dialog#193720

Merged
meganrogge merged 4 commits intomainfrom
merogge/diff
Sep 22, 2023
Merged

add comment help info to diff help dialog#193720
meganrogge merged 4 commits intomainfrom
merogge/diff

Conversation

@meganrogge
Copy link
Collaborator

@meganrogge meganrogge commented Sep 21, 2023

@meganrogge meganrogge requested a review from hediet September 21, 2023 18:16
@meganrogge meganrogge self-assigned this Sep 21, 2023
@meganrogge meganrogge added this to the September 2023 milestone Sep 21, 2023
@meganrogge meganrogge merged commit 2789724 into main Sep 22, 2023
@meganrogge meganrogge deleted the merogge/diff branch September 22, 2023 15:13
yiliang114 pushed a commit to yiliang114/vscode that referenced this pull request Sep 25, 2023
add comment help info to diff help dialog
@github-actions github-actions bot locked and limited conversation to collaborators Nov 6, 2023
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.

3 participants