search

keymanapp / help.keyman.com

https://help.keyman.com/ source
7 stars 29 forks source link

chore: update options.md #1286

Closed Nnyny closed 3 weeks ago

mcdurdin commented 4 weeks ago

Note, we'll also need to copy these updates into the 18.0 developer help

Nnyny commented 4 weeks ago

Done, @mcdurdin! https://github.com/keymanapp/help.keyman.com/pull/1288