mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-12 11:55:32 +00:00
Fixes #3832. Removes the now-unneeded Internet Explorer dependency from Developer Setup, and corresponding strings (plus a couple of other unused strings). I18n of these strings is a future project. |
||
|---|---|---|
| .. | ||
| src | ||