diff options
author | Michael Muré <batolettre@gmail.com> | 2020-02-23 14:49:09 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-23 14:49:09 +0100 |
commit | f87d63b3c656f6efba3c62c121f66e513ca3efea (patch) | |
tree | 368886eb57bab83c76f73b3b7b0238b483733a30 /webui/public/index.html | |
parent | 4559af5e71a2d6d1c53329e565d101c3eadacf6e (diff) | |
parent | f96484391ae817a18f503b5c31cd3bd2211553df (diff) | |
download | git-bug-f87d63b3c656f6efba3c62c121f66e513ca3efea.tar.gz |
Merge pull request #331 from MichaelMure/webui/mutations
Webui: add comments
Diffstat (limited to 'webui/public/index.html')
0 files changed, 0 insertions, 0 deletions