christian c2a50e8b7c fix typos in num9

2020-07-08 16:17:48 +02:00

..

hdnum @ 7ebd4e5759

update hdnum

2020-06-26 10:48:10 +02:00

uebungen

fix typos in num9

2020-07-08 16:17:48 +02:00