changeset 52896 | 73e32ed924b3 |
parent 50130 | 8c6fde547cba |
child 55365 | 9d5aba2baa4c |
52895:a806aa7a5370 | 52896:73e32ed924b3 |
---|---|
38 Ond\v{r}ej Kun\v{c}ar, |
38 Ond\v{r}ej Kun\v{c}ar, |
39 Tobias Nipkow, |
39 Tobias Nipkow, |
40 Lars Noschinski, \\ |
40 Lars Noschinski, \\ |
41 David von Oheimb, |
41 David von Oheimb, |
42 Larry Paulson, |
42 Larry Paulson, |
43 Sebastian Skalberg |
43 Sebastian Skalberg, \\ |
44 Christian Sternagel |
|
44 } |
45 } |
45 |
46 |
46 \makeindex |
47 \makeindex |
47 |
48 |
48 \chardef\charbackquote=`\` |
49 \chardef\charbackquote=`\` |