2 Commits

Author SHA1 Message Date
Timothee Cour
a6cbe58e8c typetraits.$: $((int, float), int) is now "((int, float), int)" instead of "(tuple of (int, float), int)" (#14812)
Co-authored-by: Andreas Rumpf <rumpf_a@web.de>
2020-07-02 16:19:43 +02:00
Andreas Rumpf
a17d45c2c2 fixes #3948 2018-04-12 20:09:44 +02:00