Skip to content

History: delete/edit records + built-in subtitle player - #24

Merged
TN019 merged 1 commit into
mainfrom
history-editing-and-player
Jul 26, 2026
Merged

History: delete/edit records + built-in subtitle player#24
TN019 merged 1 commit into
mainfrom
history-editing-and-player

History management and a built-in player: delete records one-by-one o…

2ccd5ba
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test
succeeded Jul 26, 2026 in 36s