diff options
author | Michael Muré <batolettre@gmail.com> | 2021-04-23 09:32:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-23 09:32:17 +0200 |
commit | 5f0a39d8d878e89e485e3a8d9cd4b7aceabf62da (patch) | |
tree | 6b66a5aa6c41a23a1f50c2caa8627d3a644018e0 /webui/.gitignore | |
parent | 01b267fa917a460f4aba514493fcfdbc57f48f67 (diff) | |
parent | 7a7a402649b40de0eeb73cc60a252a2f29a9f621 (diff) | |
download | git-bug-5f0a39d8d878e89e485e3a8d9cd4b7aceabf62da.tar.gz |
Merge pull request #645 from MichaelMure/github-fix-ci
github: attempt to fix a CI issue
Diffstat (limited to 'webui/.gitignore')
0 files changed, 0 insertions, 0 deletions