diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-07-17 11:08:07 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-07-17 11:11:28 +0800 |
| commit | 79ec6878877f0fd9246d67d3cd4f8cc2d1200150 (patch) | |
| tree | e3cd8cfc7ef5cd2a6a7ceb93d9a4b1764fa21b61 /mingling_picker/src/builtin.rs | |
| parent | e6136f22cff446b16dbebf3b26a6fdea6dbc0e83 (diff) | |
refactor: rename `mingling_picker` to `arg_picker`
Diffstat (limited to 'mingling_picker/src/builtin.rs')
| -rw-r--r-- | mingling_picker/src/builtin.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/mingling_picker/src/builtin.rs b/mingling_picker/src/builtin.rs deleted file mode 100644 index e855b08..0000000 --- a/mingling_picker/src/builtin.rs +++ /dev/null @@ -1,4 +0,0 @@ -mod pick_bool; -mod pick_flag; -mod pick_numbers; -mod pick_string; |