aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorLúcás Meier <[email protected]>2019-10-04 11:45:22 +0100
committerGitHub <[email protected]>2019-10-04 11:45:22 +0100
commite06ad80d49f63c0c18a6447f39415a9ce900d9fa (patch)
tree6aebb4c7d1ea7dca2d7f37075148d3d98f1f5746 /.github
parentfe8ec1c045af7a41492d0df6d271f1ce56afb51b (diff)
Fix typo about De Morgan's law assist
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions