Skip to content

wsh editconfig#1243

Merged
sawka merged 2 commits into
mainfrom
sawka/wsh-editconfig
Nov 8, 2024
Merged

wsh editconfig#1243
sawka merged 2 commits into
mainfrom
sawka/wsh-editconfig

Conversation

@sawka
Copy link
Copy Markdown
Member

@sawka sawka commented Nov 8, 2024

No description provided.

@sawka sawka merged commit d5297cc into main Nov 8, 2024
@sawka sawka deleted the sawka/wsh-editconfig branch November 8, 2024 19:08
xxyy2024 pushed a commit to xxyy2024/waveterm_aipy that referenced this pull request Jun 24, 2025
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.

1 participant