Skip to content

Use nameof instead of Type.name.name#296

Merged
vchuravy merged 1 commit intoJuliaCI:masterfrom
jishnub:nameof
Nov 13, 2022
Merged

Use nameof instead of Type.name.name#296
vchuravy merged 1 commit intoJuliaCI:masterfrom
jishnub:nameof

Commits

Commits on Nov 12, 2022