Skip to content

Special error message for removing from empty history#79

Merged
ccreutzi merged 2 commits intomainfrom
remove-from-empty-history
Aug 26, 2024
Merged

Special error message for removing from empty history#79
ccreutzi merged 2 commits intomainfrom
remove-from-empty-history

Commits

Commits on Aug 23, 2024