aboutsummaryrefslogtreecommitdiff
path: root/.reuse/dep5
diff options
context:
space:
mode:
authorMatthias Andreas Benkard <code@mail.matthias.benkard.de>2022-03-01 13:43:50 +0100
committerMatthias Andreas Benkard <code@mail.matthias.benkard.de>2022-03-01 13:43:50 +0100
commit9006e7087bcefaecaf4c80489cb8c9e7a796d583 (patch)
tree8edf503f5b0d54c18c8c2ec24abb2769dc8685a2 /.reuse/dep5
parent0ad6a55f3faa0ff8c42321edc6b27bbcc358b709 (diff)
Ensure nullness correctness using Checker Framework.
Change-Id: Ie5a7749194313664a206e44597091a62afca9bdb
Diffstat (limited to '.reuse/dep5')
0 files changed, 0 insertions, 0 deletions