manual.de.texi 2.12 MB
The source could not be displayed because it is larger than 1 MB. You can load it anyway or download it instead.