diff options
| author | Michael Muré <batolettre@gmail.com> | 2021-03-28 22:25:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-28 22:25:12 +0200 |
| commit | 919227c6dafffaa2e4c497c0a514d75dcf168045 (patch) | |
| tree | 062d022679c941cd7eabb40f5b22a3da35efd8af /.github | |
| parent | fb6b2d873e1bbc653aa84ddce56c842202e00c33 (diff) | |
| parent | 890c014d919f705eac624547031c79205a71321b (diff) | |
| download | git-bug-919227c6dafffaa2e4c497c0a514d75dcf168045.tar.gz | |
Merge pull request #608 from MichaelMure/fix-config
repo: fix various config issues around case insentivity
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions