diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2023-04-12 22:49:21 +0200 |
|---|---|---|
| committer | Jeroen Wijenbergh <46386452+jwijenbergh@users.noreply.github.com> | 2023-09-25 09:43:37 +0200 |
| commit | e9f47a6df3c0fb84ae0c8240b3a7f38740dfa75b (patch) | |
| tree | 7fdac134f8e9a1f91cca4308f021295212e1030b /wrappers/python/docs/make.bat | |
| parent | e361ec863961982e01f3d7f5842245dac88a05fd (diff) | |
Types Server: Pass locations to secure internet
Diffstat (limited to 'wrappers/python/docs/make.bat')
0 files changed, 0 insertions, 0 deletions