christian d9f0815f84 ignore dat files, add num6

2020-06-11 23:22:05 +02:00

..

hdnum @ 206ffcacaf

add hdnum lib

2020-05-21 15:24:21 +02:00

uebungen

ignore dat files, add num6

2020-06-11 23:22:05 +02:00