diff options
| author | ruki <[email protected]> | 2022-12-20 23:40:04 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-12-20 23:40:04 +0800 |
| commit | 2aa33d36befec02328950d064f74bc1cc97f81f7 (patch) | |
| tree | d81791b0ae607e9345fc29f24c360d14f7421fba /core/src | |
| parent | 717831ead1655295513535083cec27ed0bdcda4f (diff) | |
fix configure for dash
Diffstat (limited to 'core/src')
0 files changed, 0 insertions, 0 deletions