Merge pull request #8801 from MrPetovan/task/8800-pre-whitespaces
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Tue, 23 Jun 2020 15:01:44 +0000 (17:01 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Jun 2020 15:01:44 +0000 (17:01 +0200)
commit2fc0b23b7c3fe77c4adf1b7366e0700848b9c161
tree837dc8a464c7b8b937c880dc453eadbd1cfd9f8f
parent4e5c3157fed3379cebc4520aa1c787e820ec3942
parentfaeffff8a39aae0d8e0ca6c07a9ad6724570b5a7
Merge pull request #8801 from MrPetovan/task/8800-pre-whitespaces

[pre] blocks now preserve spaces