diff options
| author | Max Schumacher <maximilianbschumacher@gmail.com> | 2020-07-07 11:44:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-07 11:44:03 +0200 |
| commit | cc2aa766daea3e24ecb820934a8adb9355313442 (patch) | |
| tree | 46daa3cc2ec5878f4b711756a85bce5b1506b8a5 /de-de | |
| parent | 7e0f2d98fc9804d964ddf16a12d86f309eae34f4 (diff) | |
| parent | 081cf637cc730b04a3c24fa7c630e5b030b614c4 (diff) | |
Merge pull request #3966 from io12/patch-1
[set-theory/en] Fix formatting issues
Diffstat (limited to 'de-de')
0 files changed, 0 insertions, 0 deletions