diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2023-04-26 12:01:27 +0200 |
|---|---|---|
| committer | Jeroen Wijenbergh <46386452+jwijenbergh@users.noreply.github.com> | 2023-09-25 09:43:37 +0200 |
| commit | daff3c17728e2cf99dbefa05653a479947c63198 (patch) | |
| tree | 613ae8cfaf09f5571e75a5a7dbef0f6c6bf317b2 /wrappers/python/docs/Makefile | |
| parent | f6fbb9a3038ba42af7c218f4b481a6cef567871b (diff) | |
Client: Fix institute servers map typo
Diffstat (limited to 'wrappers/python/docs/Makefile')
0 files changed, 0 insertions, 0 deletions