summaryrefslogtreecommitdiffhomepage
path: root/hu-hu
diff options
context:
space:
mode:
authorMax Schumacher <maximilianbschumacher@gmail.com>2021-03-21 15:31:37 +0100
committerGitHub <noreply@github.com>2021-03-21 15:31:37 +0100
commit2fe56c21fac52e781fc593c9557c8f77e2511224 (patch)
treeabf82dfa617e24714591933b40080e20bc6b5eef /hu-hu
parentac94321fefcbe5ddc386ffd12dd09d335e501254 (diff)
parentea6b3092dbd23e5ec1132a39e79d4a627d221403 (diff)
Merge pull request #4128 from sburris0/patch-1
[set-theory/en] use not equal ASCII symbol
Diffstat (limited to 'hu-hu')
0 files changed, 0 insertions, 0 deletions