diff options
author | Michael Muré <batolettre@gmail.com> | 2019-09-04 20:15:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-04 20:15:36 +0200 |
commit | c4bebed2f2ad1e0ec673bbfbbe445bfad963453a (patch) | |
tree | 5b80cc0267f8455a65e6f55cb631b1c8ce517e9a /vendor/github.com | |
parent | 16af70894c0348ec90dfee69274f7d44ef2eb079 (diff) | |
parent | 0ad23d0e24d876ff9bcd6b5d83c1514de132522f (diff) | |
download | git-bug-c4bebed2f2ad1e0ec673bbfbbe445bfad963453a.tar.gz |
Merge pull request #211 from MichaelMure/update-webui
Update webui
Diffstat (limited to 'vendor/github.com')
0 files changed, 0 insertions, 0 deletions