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 /xml.html.markdown | |
parent | 7e0f2d98fc9804d964ddf16a12d86f309eae34f4 (diff) | |
parent | 081cf637cc730b04a3c24fa7c630e5b030b614c4 (diff) |
Merge pull request #3966 from io12/patch-1
[set-theory/en] Fix formatting issues
Diffstat (limited to 'xml.html.markdown')
0 files changed, 0 insertions, 0 deletions