diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2022-05-11 16:22:44 +0200 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2022-05-11 16:22:44 +0200 |
| commit | 1c82c6c2a3abd4a3da448cc80c461932864e560f (patch) | |
| tree | d2fb25f42cf01a090377f993059d1a5da33f1a81 /.gitmodules | |
| parent | 11d2266f518e73bd96ab7c73130404053872902c (diff) | |
mic92: also rename alias for maurice
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions