diff options
| author | Pascal Kuthe | 2023-03-26 09:44:07 +0000 |
|---|---|---|
| committer | GitHub | 2023-03-26 09:44:07 +0000 |
| commit | abef92a9b341209aeae8802d30fc8c1f971a43df (patch) | |
| tree | 8a4f97290e6027a20c3bde0c33317da225010b69 /book/theme | |
| parent | 685ae2365a89346ef276dceb52c3cae40260d1fd (diff) | |
log failures in the git integration (#6441)
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions