summaryrefslogtreecommitdiff
path: root/Lints.md
diff options
context:
space:
mode:
authorstuebinm2021-12-29 03:37:41 +0100
committerstuebinm2021-12-29 03:37:41 +0100
commit4b2059b5f19214d0afb6eac707e6323b16c0333b (patch)
treead1415432385ed97e060ad5118bd0e64251014ca /Lints.md
parent7675ee189f272fafca637afbe38cf37d00a54433 (diff)
the lobby lacks reflexivity
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions