diff options
| author | ringabout <43030857+ringabout@users.noreply.github.com> | 2023-10-18 22:44:13 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-18 22:44:13 +0800 |
| commit | 0d4b3ed18edff5ae098be842a986cb32de651fbf (patch) | |
| tree | 7d2cf8c9ff4ab7b0c704263ea983bb9c240c67b7 /tools | |
| parent | 3c48af7ebe9c8949ce3341bb62eacf0de43e4d11 (diff) | |
| download | Nim-0d4b3ed18edff5ae098be842a986cb32de651fbf.tar.gz | |
fixes #22836; Unnecessary warning on 'options.none' with 'strictDefs'… (#22837)
… enabled fixes #22836
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions