diff options
| author | ruki <[email protected]> | 2022-12-24 15:56:19 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-12-24 15:56:19 +0800 |
| commit | 025b307d3b801fa67d1c087d398289f76ff607dc (patch) | |
| tree | db8421d39f8eb876f9ac7d414ae28b7bb0167c96 | |
| parent | 6092af5b6744d2f71a56c4117b5bde4c25bf58d7 (diff) | |
update configure
| -rwxr-xr-x | configure | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -3922,4 +3922,3 @@ _generate_build_file() { } _generate_build_file - |