Add quit() with an exit code to the german documentation.
commitb68360c65aeeed77e34f5b5fd99a1a28c4d14d52
authorWolfgang Dautermann <dauti@users.sourceforge.net>
Sat, 1 Oct 2022 11:33:38 +0000 (1 13:33 +0200)
committerWolfgang Dautermann <dauti@users.sourceforge.net>
Sat, 1 Oct 2022 20:08:18 +0000 (1 22:08 +0200)
tree6a5b27a328c0f28b0e0d9838762706fedaa1cbc5
parenta5d048656870ec3d13213db7d48eb09c1e91b090
Add quit() with an exit code to the german documentation.
doc/info/de/Command.de.texi