diff options
| author | Michael Muré <batolettre@gmail.com> | 2020-01-24 00:46:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-24 00:46:44 +0100 |
| commit | 9f7953161f3ef8a6081b7950b3cc274e34666116 (patch) | |
| tree | 6f0c98fcfefc9b2d012cd10bff922ea47fb19652 /vendor | |
| parent | ff33e62f65d0a4764358352492f46daccf961f93 (diff) | |
| parent | 70354165ff1956dd0598ff69736fb0436612003c (diff) | |
| download | git-bug-9f7953161f3ef8a6081b7950b3cc274e34666116.tar.gz | |
Merge pull request #300 from ludovicm67/webui-display-current-identity
Webui: display current identity + improve app bar
Diffstat (limited to 'vendor')
0 files changed, 0 insertions, 0 deletions