Skip to content

feat: rename confirmation dialog#673

Merged
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:mhuisi/rename-confirmation-prompt
Oct 1, 2025
Merged

feat: rename confirmation dialog#673
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:mhuisi/rename-confirmation-prompt

Commits

Commits on Sep 30, 2025