aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorJonas Schievink <[email protected]>2021-05-23 00:00:17 +0100
committerJonas Schievink <[email protected]>2021-05-23 00:15:26 +0100
commit380293d6c2ead91a0988183ca634d9eb4f4fa9d7 (patch)
tree59e3b0eb34413e411c12e64b3145c18c8531d5df /editors
parentc22ccd07fecb964b11cba283d5ab184967c2669b (diff)
Pretty-print generic parameters
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions