added missing spaces in DE and DE_informal

This commit is contained in:
Knuth
2017-05-17 16:25:51 +02:00
committed by Raphael Michel
parent b5a2123d1c
commit 635329f102
2 changed files with 2 additions and 2 deletions