diff options
author | Amine <hilalyamine@gmail.com> | 2019-08-19 01:02:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-19 01:02:29 +0200 |
commit | 91f563da5f508cfcc5dfe6418e2f6333e247ec6e (patch) | |
tree | 5a0fe9732eb69476bd1f3c5ec787931bda8e24d3 /webui/Makefile | |
parent | 36c91adddfc16b8c5d04eb66dbb4cf8c25cea321 (diff) | |
parent | 4a4e238d1f01eefb527bf2c3f4685863477d9eaa (diff) | |
download | git-bug-91f563da5f508cfcc5dfe6418e2f6333e247ec6e.tar.gz |
Merge pull request #192 from MichaelMure/github-exporter-label
bridge: Github exporter support case sensitive labels
Diffstat (limited to 'webui/Makefile')
0 files changed, 0 insertions, 0 deletions