summaryrefslogtreecommitdiff
path: root/tests/lean/Traits
diff options
context:
space:
mode:
authorSon Ho2023-07-25 12:13:20 +0200
committerSon Ho2023-07-25 12:13:20 +0200
commitc652e97f7ab13164150331b4aa3f2e7ef11d24b9 (patch)
treeb8e81943e4ee8eb9a0760b8cff4cd49ed3bcbbbf /tests/lean/Traits
parent2dd56a51df01421fe7766858c9d37998db4123b5 (diff)
Add the possibility of using "_" as ident for progress
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions