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/github.com/gorilla/websocket/README.md | |
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/github.com/gorilla/websocket/README.md')
0 files changed, 0 insertions, 0 deletions