Skip to content

Reload page when dehighlighting a document#66

Merged
svera merged 2 commits intomainfrom dehighlight-reloadJan 29, 2024

Commits

Commits on Jan 28, 2024