diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-04-26 18:41:39 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-04-26 19:25:30 +0200 |
| commit | 8040689b6a96f38c03b703386466128f4df5b762 (patch) | |
| tree | ab038cc73a80c3b1e4c846e24ebde0805f87af73 /.scalafmt.conf | |
| parent | 369e698b0761a0c0abb460e92d680ae441374422 (diff) | |
KB54 Use bookmark Emoji for bookmarks, give title font normal weight.
Change-Id: Id069e3392ee136b7d7b4291b35ad871a88b08732
Diffstat (limited to '.scalafmt.conf')
0 files changed, 0 insertions, 0 deletions