 jezv
|
24231d2cf5
fixes
|
vor 1 Jahr |
|
jezv
|
9b5dbc27dd
add MY double to Rational
|
vor 1 Jahr |
|
jezv
|
9363672eef
replace mantis on my
|
vor 1 Jahr |
|
jezv
|
55c533d400
work mantis
|
vor 1 Jahr |
|
jezv
|
424bb83153
add submodule
|
vor 1 Jahr |
|
jezv
|
b56e668008
init with bugs
|
vor 1 Jahr |