diff options
| author | Philipp Mildenberger | 2023-04-06 00:37:43 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 20:04:49 +0000 |
| commit | f45bbf165e225142b7f1d9f68d0ffcc9fabd265d (patch) | |
| tree | 00d2162bb6fc35400349a5a9c76e380e81dd75e1 /.github | |
| parent | 656ee24966c17ed505acc2faded2da505e9c7052 (diff) | |
Apply all review suggestions (doc_id -> id, error message, unnecessary if)
Co-authored-by: Pascal Kuthe <pascal.kuthe@semimod.de>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions