Replace HTML entities by Unicode characters in the German manual.
commite796660bf01254a59eaa053632e481ca7a8c1d5b
authorJohannes Sixt <j6t@kdbg.org>
Tue, 7 Nov 2017 17:55:36 +0000 (7 18:55 +0100)
committerJohannes Sixt <j6t@kdbg.org>
Wed, 15 Nov 2017 18:16:08 +0000 (15 19:16 +0100)
tree53be1e4d08c13066bfc67e51bb44dc0e415ca9d2
parentbe82b6698429fb73fcf3611000689c7b4a25f6a6
Replace HTML entities by Unicode characters in the German manual.
15 files changed:
kdbg/doc/de/argspwdenv.html
kdbg/doc/de/breakptlist.html
kdbg/doc/de/globaloptions.html
kdbg/doc/de/howdoi.html
kdbg/doc/de/index.html
kdbg/doc/de/localvars.html
kdbg/doc/de/memory.html
kdbg/doc/de/pgmoutput.html
kdbg/doc/de/pgmsettings.html
kdbg/doc/de/registers.html
kdbg/doc/de/sourcecode.html
kdbg/doc/de/stack.html
kdbg/doc/de/threads.html
kdbg/doc/de/tips.html
kdbg/doc/de/watches.html