Vladimír Vondruš aa1728cde2 Make to_string(dualquat) actually work.
It segfaulted somewhere deep in strlen() due to a mismatch in printf()
argument count.
2018-06-01 02:45:01 +02:00
..
2017-01-07 12:49:45 +01:00
2018-05-03 11:49:38 +02:00
2018-05-07 18:12:18 +02:00
2017-08-17 17:36:40 +02:00
2012-01-03 16:22:37 +00:00