diff options
| author | Kjetil Orbekk <kj@orbekk.com> | 2022-12-27 20:12:30 -0500 |
|---|---|---|
| committer | Kjetil Orbekk <kj@orbekk.com> | 2022-12-27 20:12:30 -0500 |
| commit | f7cc62aca9157a8ad357153cfae3e2b5cf2a5b8d (patch) | |
| tree | 28ac38f8f94a32306c3c4aa02f005d35acc1001f /server | |
| parent | f4874dde22c7aae6cf2765081f8c2e2ebe725968 (diff) | |
Fix toolchain used in dev shell
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions