diff options
author | Tilman Vatteroth | 2020-12-02 17:22:27 +0100 |
---|---|---|
committer | Tilman Vatteroth | 2020-12-02 17:22:27 +0100 |
commit | 120225947f6c22c8e7f8b9c2b72f496784162647 (patch) | |
tree | a6b7e917da4f9832d72e04225510b628ddebb123 /.github | |
parent | 4ae80a3ed08aac4dddc2bddb80b5da5d7e20df86 (diff) |
Catch more errors
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions