Skip to content

Allow higher priority dictionaries to delete entries from others#1160

Open
user202729 wants to merge 6 commits intoopenstenoproject:mainfrom user202729:dictionary-delete
+31-4

Commits

Commits on Oct 24, 2020

Commits on Jan 21, 2024