diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2023-12-13 10:29:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-13 10:29:58 +0100 |
| commit | e51e98997ba0aae748ff51eea8133e83370a7df5 (patch) | |
| tree | 6df6ec97662bf49d13cda7d33f1b451f9e45aa98 /nimpretty | |
| parent | df6cb645f7834de0c43afe2deb023c3e01093503 (diff) | |
| download | Nim-e51e98997ba0aae748ff51eea8133e83370a7df5.tar.gz | |
type refactoring: part 2 (#23059)
Diffstat (limited to 'nimpretty')
0 files changed, 0 insertions, 0 deletions