diff options
author | Cedric Nugteren <web@cedricnugteren.nl> | 2023-05-26 21:21:23 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-26 21:21:23 +0200 |
commit | 8d1cbde03615e9dab22917bf511a4361e450d815 (patch) | |
tree | b42a4457cb86802dc3735b49f87293e341fb0676 /src/database/kernels | |
parent | 1b66a1149eaaa195e3a35ab836fbe1313b289498 (diff) |
Fix folder name of Windows release (#482)
Diffstat (limited to 'src/database/kernels')
0 files changed, 0 insertions, 0 deletions