diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-07-25 23:49:14 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-07-25 23:49:14 +0200 |
| commit | 0d649346b4f93e47dfac7a2ff66294d6ab095e2e (patch) | |
| tree | f9e72657d18c7966640f521fb8b57ae74b076ae5 /webui | |
| parent | 7c6f9ef4aac84e0279cf0b343bd7e0d292485be3 (diff) | |
| download | git-bug-0d649346b4f93e47dfac7a2ff66294d6ab095e2e.tar.gz | |
travis: add codegov hook
Diffstat (limited to 'webui')
0 files changed, 0 insertions, 0 deletions