diff options
| author |  shartte | 2020-07-14 16:19:29 +0200 |
|---|---|---|
| committer |  GitHub | 2020-07-14 16:19:29 +0200 |
| commit | 65ba42443ed20a3531bbb769f4d882c4a4bdb879 (patch) | |
| tree | 08e7594dee2f7dc5954bf7475a0bc54a730f3d57 /gradle/wrapper | |
| parent | Mapping format fixes (#294) (diff) | |
| download | enigma-65ba42443ed20a3531bbb769f4d882c4a4bdb879.tar.gz enigma-65ba42443ed20a3531bbb769f4d882c4a4bdb879.tar.xz enigma-65ba42443ed20a3531bbb769f4d882c4a4bdb879.zip | |
Allows setting the default editor font in the configuration file. (#295)
Diffstat (limited to 'gradle/wrapper')
0 files changed, 0 insertions, 0 deletions