Commit 92b998f4aebfc80731b5ec1f799fc3defbfcf07f

Thomas de Grivel 2022-01-22T09:35:01

fix git manager files