diff options
| author | Miran <narimiran@disroot.org> | 2021-09-29 11:14:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-29 11:14:47 +0200 |
| commit | b74b914e4f36199797b77e98bd2d771b4056a0d6 (patch) | |
| tree | a9ade47091ececeb35ec0bdb36ae087e914a9dcc /tools | |
| parent | f061971a9be5222f0f158f605220f3bda42f7488 (diff) | |
| download | Nim-b74b914e4f36199797b77e98bd2d771b4056a0d6.tar.gz | |
[backport] use old style hints in .cfg files (#18917)
refs #18085
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions