diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2020-08-20 21:16:50 +0100 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2020-08-20 21:18:19 +0100 |
commit | e3fdcdbadfababea9ae70e88846956ebc45e28a0 (patch) | |
tree | 3c831dca688ce626feaab57cc821febd6eac326a /.gitmodules | |
parent | 56d529277f0e6b5677a2f444202accdf11e8f2fe (diff) |
mic92: lower-case user
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions