diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-09-27 16:38:57 +0200 |
|---|---|---|
| committer | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-09-27 16:38:57 +0200 |
| commit | b34fbcbec123bd903a06d34874e290d1d40d527c (patch) | |
| tree | 8c4f4e93d25772548556917173e9340aef2d0584 /docs/src | |
| parent | 4715b9c54fb6411019595175ef6326703e2012bf (diff) | |
Python Server: Remove unneeded current_profile property
Diffstat (limited to 'docs/src')
0 files changed, 0 insertions, 0 deletions