diff options
| author | Eugen Rochko <eugen@zeonfederated.com> | 2022-10-05 07:02:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-05 07:02:09 +0200 |
| commit | 0e41d360c068deb8655dc1b9facfa4c15985c271 (patch) | |
| tree | d875be2f225ee0e711f4015b79cdfa33b1db530f /app/javascript/images/elephant_ui_greeting.svg | |
| parent | 9f65909f42c14d1e56c5f916eb76b156709ac147 (diff) | |
Change font size of active users in server banner to be larger in web UI (#19295)
Diffstat (limited to 'app/javascript/images/elephant_ui_greeting.svg')
0 files changed, 0 insertions, 0 deletions