Skip to content

Allow deleting files in diffedit and split#5481

Closed
jgilchrist wants to merge 2 commits intojj-vcs:mainfrom jgilchrist:push-oxwvtzvtqrmu

Commits

Commits on Jan 26, 2025